对象语义理论和行为约束推理

本文基于时序模型观点建立对象语义理论,将对象定义为对象操作、对象属性和对象踪迹的集合,并由此给出对象继承、对象复合等概念的语义解释,对象类型是满足一组对象约束的同类对象的集合,有两类不同的对象约束:状态约束表示对象属性之间的关联,而时序约束则表示事件操作之间的时序关联,文章最后用例子表明对象约束推理的应用。