10.3969/j.issn.1000-1220.2002.06.022
基于代数-时态逻辑的象形对象研究
本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状,分析了对象形式化语义研究的不足.其次,分析了几种主要的系统形式化模型和方法.然后,在我们已研究的"计算机甲骨文象形码输入法"的基础上,从时态逻辑的角度定义了象形对象及其约束条件,定义了面向对象的有色Petri网(OOPEN),并应用OOPEN描述了象形对象的层次结构.最后,我们将代数规范与时态逻辑相结合,对象形对象的语义基础进行了一些研究.
象形对象、面向对象方法学、代数规范、时态逻辑、OOPEN
23
TP31(计算技术、计算机技术)
湖北省自然科学基金
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共5页
726-730