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