%0 Journal Article
%T 对象形式语义模型*
%A 冯玉琳
%A 李京
%A 黄涛
%J -
%D 1995
%X 在面向对象的软件构造中，对象被视为软件系统的基本构件本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射，本文给出对象聚合、特化、继承和对象类等概念在此语义模型框架中的解释
%K 对象语义模型
%K 继承
%K 聚合
%K 特化．
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1995s129&flag=1