###
DOI:
Journal of Software:1996.7(10):577-586

对象描述语言及其指称描述
黄涛,冯玉琳,倪彬,李京
(中国科学院软件研究所计算机科学开放实验室,北京,100080;中国科技大学计算机系,合肥,230027)
OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS
Huang Tao,Feng Yulin,Ni Bin,Li Jing
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2497   Download 2639
    Revised:August 18, 1995
> 中文摘要: 在面向对象的软件构造中,对象被视为软件系统的基本构件.本文提出对象规范描述语言ODL(objectdescriptionlanguage),并给出其主要结构的SOP指称描述.SOP演算的理论范集给出对象的形式描述.SOP理论范集反映了对象的封装性,在这样的逻辑框架下,对象的属性(结构)和动作(行为)得以统一.对象聚合提供了由已有对象描述构造复杂对象描述的机制;而继承则可以扩充给定的对象描述并保持原描述的特性.此外,本文还区分了继承和子类这2个相似而又不尽相同的概念.
中文关键词: 对象  指称语义  演算  对象语义描述  
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家“八五”攻关项目基金、国家863高科技项目基金和国家自然科学基金资助. 本文研究得到国家“八五”攻关项目基金、国家863高科技项目基金和国家自然科学基金资助.
Foundation items:
Reference text:

黄涛,冯玉琳,倪彬,李京.对象描述语言及其指称描述.软件学报,1996,7(10):577-586

Huang Tao,Feng Yulin,Ni Bin,Li Jing.OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS.Journal of Software,1996,7(10):577-586