###
DOI:
Journal of Software:1995.6(zk):231-237

软件构造过程中的对象规范和实现*
李京,冯玉琳,黄涛
(中国科技大学计算机系,合肥230027;中国科学院软件研究所,北京l00080)
OBJECT SPECIFICATION AND IMPLEMENTATION IN SOFTWARE CONSTRUCTlON
Li Jing,Feng Yulin,Huang Tao
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2053   Download 2003
Received:November 22, 1993    
> 中文摘要: 面向对象的软件构造过程中的一个关键技术是对象的描述.本文介绍的ADL语言就是用于描述软件对象的基本特征.一个ADL对象定义分为两部分:其一是对象规范,它在抽象数据域上描述对象的语义特征,用逻辑公式规定对象的状态和行为约束.另一是对象体,它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现,同时给出从抽象数据到具体数据的映射关系.
Abstract:This paper deals with ADL,a language designed to describe the features of objects in the software construction.An ADL class definition includes two parts:one is the object specification which specifies the object interface and semantics by logic formulae on the abstract domain;the other is the object body which is the implementation of the specification,and It also provides a map between the abstract data and the concrete data.
文章编号:     中图分类号:    文献标志码:
基金项目:本项目得到国家863高技术和中国科技大学青年基金资助. 本项目得到国家863高技术和中国科技大学青年基金资助.
Foundation items:
Reference text:

李京,冯玉琳,黄涛.软件构造过程中的对象规范和实现*.软件学报,1995,6(zk):231-237

Li Jing,Feng Yulin,Huang Tao.OBJECT SPECIFICATION AND IMPLEMENTATION IN SOFTWARE CONSTRUCTlON.Journal of Software,1995,6(zk):231-237