摘要
在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外。
Objects are considered as basic components of software system in object orie nted software construction.This paper presents an ODL(object description language)and the denotational semantics of its main constructs.The formal counterparts of objects are given by theory presentation in SOP calculus.Attributes(structure)and operations (behavior)are integrated in coherent logical units around which the notion of encapsula tion is formalized.Aggregation,inheritance etc.are formalized as specification constructs which allow people to assemble large specification from existed ones/extend agiven speci fication.Further,the notions of inheritance and subclass are clarified.
出处
《软件学报》
EI
CSCD
北大核心
1996年第10期577-586,共10页
Journal of Software
基金
国家"八五"攻关项目基金
国家863高科技项目基金
国家自然科学基金
关键词
面向对象
对象描述语言
指称描述
Object,denotational semantics,calculus,object semantic description.
