基于代数-时态逻辑的象形对象语义模型探讨

本文在 "基于代数 -时态逻辑的象形对象研究 "一文的基础上 ,进一步讨论了“基于代数 -时态逻辑的象形对象语义模型”问题 .主要是将基于代数模型和基于时态逻辑模型这两种方法结合 ,通过 OOCPN描述形式 ,对象形对象语义模型进行了探索式研究 .具体包括象形对象标记、象形对象语义解释结构、象形对象语义结构模型结构 ,定义了状态运算符、操作运算符并给出其语义域上的解释 ;提出了可继承属性和可继承操作、完全继承和部分继承等概念 ,并用来刻画象形对象系统中的类结构及继承性 ;在分类结构、组装结构的基础上提出了聚合类结构及分类 -聚合类结构 ;给出了象形对象类类型的代数规范描述 ;给出了有关象形对象系统的公理和定理 ,并用 OOCPN(Object- Oriented ColorPetri Net)对象形对象的继承性、类结构及类变化、重码语义的可能性和有害性等进行了描述 .

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

本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状 ,分析了对象形式化语义研究的不足 .其次 ,分析了几种主要的系统形式化模型和方法 .然后 ,在我们已研究的“计算机甲骨文象形码输入法”的基础上 ,从时态逻辑的角度定义了象形对象及其约束条件 ,定义了面向对象的有色 Petri网 (OOPEN) ,并应用 OOPEN描述了象形对象的层次结构 .最后 ,我们将代数规范与时态逻辑相结合 ,对象形对象的语义基础进行了一些研究 .