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．