对象形式语义模型*

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