基于代数-时态逻辑的象形对象研究.pdfVIP

第 卷 第 期 小 型 微 型 计 算 机 系 统 d%/ d( %/ ( cAF ;A 年 月 %##% ( ‘ %##% _V;V _VWa9 HbH=:_ eEC5 文 章 编 号!###$%%#%##%’#($#)%($#* 基于代数 时态逻辑的象形对象研究 - % 胡金柱 舒忠梅 华中师范大学 计算机科学系 湖北 武汉 + ./##)0’ % 中山大学计算机科学系 广东 广州 + *#%)*’ 摘 要 本文首先讨论了国内外有关面向对象方法学 代数规范 时态逻辑的研究现状 分析了对象形式化语义研究的 ! 1 1 + 不足 其次 分析了几种主要的系统形式化模型和方法 然后 在我们已研究的 计算机甲骨文象形码输入法 的基础上 , + , + 2 3 + 从时态逻辑的角度定义了象形对象及其约束条件 定义了面向对象的有色 网 并应用 描述了 + ’+ 45678 994:; 994:; 象形对象的层次结构 最后 我们将代数规范与时态逻辑相结合 对象形对象的语义基础进行了一些研究 , + + , 关 键 词 象形对象 面向对象方法学 代数规范 时态逻辑 ! 994:; 中图分类号! / 文献标识码! =4 面向对象方法学的国内外研究现状 证了系统规范和实现的语义一致性,N 自动机则是一种简 ? V9 单而有力的分布式系统的计算模型 它的特点是区分动作类 + 目前 面向对象的研究还缺乏坚实的理论基础和充分的 + 型 强调分布系统的事件驱动特征 即在系统运行 计算 的任 + + ’ 形式化定义 和 曾指出 函数式程序设计的 L(+)M ,