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