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

• 作者: 胡金柱 舒忠梅
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 象形对象 代数规范 时序逻辑 面向对象 语义模型
• 年，卷（期）: 2002,（7）
• 页码范围: 865-870
• 页数: 6页
• 分类号: TP31
• 字数: 7560字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2002.07.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡金柱	华中师范大学计算机科学系	98	854	18.0	23.0
2	舒忠梅	中山大学计算机科学系	32	304	10.0	16.0