| 对象语义理论和行为约束推理 |
| |
| 引用本文： | 冯玉琳,李京.对象语义理论和行为约束推理[J].计算机学报,1993,16(11):823-838. |
| |
| 作者姓名： | 冯玉琳 李京 |
| |
| 作者单位： | 中国科学院软件研究所，中国科学院软件研究所，中国科学院软件研究所 北京 100080，北京 100080，北京 100080 |
| |
| 摘 要： | 本文基于时序模型观点建立对象语义理论，将对象定义为对象操作，对象属性和对象踪迹的集合，并由此给出对象继承，对象复合等概念的语义解释。对象类型是满足一组对象约束的同类对象的集合。有两类不同的对象约束：状态约束表示对象属性之间的关联，而时序约束则表示事件操作之间的时序关联。文章最后用例子表明对象约束推理应用。
|
| 关 键 词： | 行为约束推理 对象语义理论 |
OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING |
| |
| Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing.OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING[J].Chinese Journal of Computers,1993,16(11):823-838. |
| |
| Authors: | Feng Yulin Li Jing and Huang TaoInstitute of Software Academia Sinica Beijing |
| |
| Affiliation: | Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080 |
| |
| Abstract: | This paper contributes to establish an object semantics theory based on temporal model.Every object is considered as a set of events,attributes and all possible traces.Some concepts such as object inheritance and object composition etc.,could be interpreted semantically in the model.An object type is defined as a class of objects satisfying a set of invariant constraints ,i.e.,state constraints for object attributes and temporal constraints for object traces.A non trivial example is given to illustrate how to reason about these object constraints. |
| |
| Keywords: | Semantics model object object type object constraint |
| 本文献已被 CNKI 维普 等数据库收录！ |
