软件构造过程中的对象规范和实现

面向对象的软件构造过程中的一个着急技术是对象的描述。本文介绍的ＡＤＬ语言就是用于描述软件对象的基本特征。一个ＡＤＬ对象定义分为两部分：其一是对象规范，它在抽象数据域上描述对象的语义特征，用逻辑公式规定对象的状态和行为约束。另一是对象体，它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现，同时给出抽象数据到具体数据的映射关系。