| 摘要: |
| 面向对象的软件构造过程中的一个关键技术是对象的描述．本文介绍的ADL语言就是用于描述软件对象的基本特征．一个ADL对象定义分为两部分：其一是对象规范，它在抽象数据域上描述对象的语义特征，用逻辑公式规定对象的状态和行为约束．另一是对象体，它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现，同时给出从抽象数据到具体数据的映射关系． |
| 关键词: 软件构造．对象规范，对象实现． |
| DOI： |
| 分类号: |
| 基金项目:本项目得到国家863高技术和中国科技大学青年基金资助. |
|
| OBJECT SPECIFICATION AND IMPLEMENTATION IN SOFTWARE CONSTRUCTlON |
|
Li Jing,Feng Yulin,Huang Tao
|
| 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． |
| Key words: Software construction,object specification,object implementation． |
