首页 | 本学科首页   官方微博 | 高级检索  
     

基于代数-时态逻辑的象形对象语义模型探讨
引用本文:胡金柱,舒忠梅.基于代数-时态逻辑的象形对象语义模型探讨[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 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号