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

作     者：胡金柱 舒忠梅 

作者机构：华中师范大学计算机科学系湖北武汉430079 中山大学计算机科学系广东广州510275 

基　　金：湖北省自然科学基金资助研究项目 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2002年第23卷第6期

页      码：726-730页

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

主 题 词：代数-时态逻辑 象形对象 面向对象方法学 代数规范 时态逻辑 逻辑程序设计 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2002.06.022

馆 藏 号：203520252...