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