论文部分内容阅读
文章定义了基于跟踪（ｔｒａｃｅ）的逻辑语言ＦＴｒａｃｅ，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础。Ｔｒａｃｅ演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示，对象标设Ω＝（Ｓ，Ｆ，Ａ，Ｅ）包含４个部分：数据类型Ｓ、函数Ｆ、属性Ａ和动作Ｅ，Σ＝（Ｓ，Ｆ）构成通常代数规范意义下的标记，可将动作看成一个广义数据类型，从而得到标记Σ的动作扩充ΣＥ，