%0 Journal Article
%T 软件构造过程中的对象规范和实现*
%A 李京？
%A 冯玉琳？
%A 黄涛？
%J 软件学报
%P 231-237
%D 1995
%X 面向对象的软件构造过程中的一个关键技术是对象的描述．本文介绍的adl语言就是用于描述软件对象的基本特征．一个adl对象定义分为两部分：其一是对象规范，它在抽象数据域上描述对象的语义特征，用逻辑公式规定对象的状态和行为约束．另一是对象体，它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现，同时给出从抽象数据到具体数据的映射关系．
%K 软件构造．对象规范
%K 对象实现．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1995s133&flag=1