| 代数规范与对象行为约束 |
| |
| 引用本文： | 冯玉琳.代数规范与对象行为约束[J].计算机学报,1992,15(12):889-897. |
| |
| 作者姓名： | 冯玉琳 |
| |
| 作者单位： | 中国科学院软件研究所 北京 |
| |
| 摘 要： | 本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由代数规范所定义的抽象对象的动态行为特征.
|
| 关 键 词： | 代数规范 时序逻辑 行为约束 语义 |
ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT |
| |
| Feng Yulin.ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT[J].Chinese Journal of Computers,1992,15(12):889-897. |
| |
| Authors: | Feng Yulin |
| |
| Abstract: | This paper contributes to make connections between two kinds of semanticmodels for algebraic and temporal specifications. A class of structured partial algebras are used as Kripke models to interpret temporal modalities. It provides the possibility for reasoning about behaviour constraints of abstract objects. |
| |
| Keywords: | Algebraic specification temporal logic behaviour constraints Kripke semantics |
| 本文献已被 CNKI 维普 等数据库收录！ |
