对象形式语义模型

在面向对象的软件构造中，对象视为软件系统的基本构件，本给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射本给出对象聚俣，特化，继承和对象类等概念在此语义模型框架中的解释。