| 基于代数-时态逻辑的象形对象语义模型探讨 |
| |
| 引用本文： | 胡金柱,舒忠梅. 基于代数-时态逻辑的象形对象语义模型探讨[J]. 小型微型计算机系统, 2002, 23(7): 865-870 |
| |
| 作者姓名： | 胡金柱 舒忠梅 |
| |
| 作者单位： | 1. 华中师范大学,计算机科学系,湖北,武汉,430079
2. 中山大学,计算机科学系,广东,广州,510275 |
| |
| 基金项目： | 湖北省自然科学基金项目 |
| |
| 摘 要： | 本文在“基于代数－时态逻辑的象形对象研究”一文的基础上，进一步讨论了“基于代数－时态逻辑的象形对象语义模型“问题，主要是将基于代数模型和基于时态逻辑模型这两种方法结合，通过OOCPN描述形式，对象形对象语义模型进行了探索式研究，具体包括象形对象标记，象形对象语义解释结构，象形对象语义结构模型结构，定义了状态运算符，操作运算符并给出其语义域上的解释，提出了可继承属性和可继承操作，完全继承和和部分继承等概念，并用来刻画象形对象系统中的类结构及继承性，在分类结构，组装结构的基础上提出了聚合类结构及分类－聚合类结构；给出了象形对象类类型的代规范描述，给出了有关象形对象系统的公理和定理；并用OOCPN（Object-Oriented Color Petri Net）对象形对象的继承性，类结构及类变化，重码语义的可能性和有害性等进行了描述。
|
| 关 键 词： | 代数－时态逻辑 象形对象 语义模型 代数规范 面向对象 形式语义 计算机 |
| 文章编号： | 1000-1220(2002)07-0865-06 |
A Tentaitive Approach of Picto-Object Semantic''s Model Based on Algebraic -Temporal Logic |
| |
| HU Jin zhu SHU Zhong mei. A Tentaitive Approach of Picto-Object Semantic''s Model Based on Algebraic -Temporal Logic[J]. Mini-micro Systems, 2002, 23(7): 865-870 |
| |
| Authors: | HU Jin zhu SHU Zhong mei |
| |
| Affiliation: | HU Jin zhu 1 SHU Zhong mei 2 1 |
| |
| Abstract: | |
| |
| Keywords: | picto object algebraic specification temporal logic object oriented semantic's model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
