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