%0 Journal Article
%T 对象描述语言及其指称描述
%A 黄涛？
%A 冯玉琳？
%A 倪彬？
%A 李京？
%J 软件学报
%P 577-586
%D 1996
%X 在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ｏｄｌ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ｓｏｐ指称描述．ｓｏｐ演算的理论范集给出对象的形式描述．ｓｏｐ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外，本文还区分了继承和子类这２个相似而又不尽相同的概念.
%K 对象
%K 指称语义
%K 演算
%K 对象语义描述
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19961001&flag=1