The specification language of OBSCURE.

*(English)*Zbl 0663.68024
Recent trends in data type specification. Specification of abstract data types, Sel. Pap. 5th Workshop, Gullane/UK 1987, Lect. Notes Comput. Sci. 332, 131-153 (1988).

[For the entire collection see Zbl 0653.00015.]

The paper presents a specification language for abstract data types that is based on the notion of a module. A module is characterized syntactically by two signatures fixing the import and export interface. Semantically it is characterized by a function mapping algebras defined on the signature of the import interface into algebras defined on the signature of the export interface. The specification language proposed is independent from the specification method used. Hence the language may be used in conjunction with algebraic, constructive and/or operational specifications.

The paper contains a formal description of the syntax and semantics of the proposed specification language. It is proved that the operations of the language preserve persistency. Moreover it is briefly sketched how the theory may be generalized for operator overloading and loose semantics. The paper concludes with a short and informal description of a specification environment that is built upon the language and that is presently being implemented.

The paper presents a specification language for abstract data types that is based on the notion of a module. A module is characterized syntactically by two signatures fixing the import and export interface. Semantically it is characterized by a function mapping algebras defined on the signature of the import interface into algebras defined on the signature of the export interface. The specification language proposed is independent from the specification method used. Hence the language may be used in conjunction with algebraic, constructive and/or operational specifications.

The paper contains a formal description of the syntax and semantics of the proposed specification language. It is proved that the operations of the language preserve persistency. Moreover it is briefly sketched how the theory may be generalized for operator overloading and loose semantics. The paper concludes with a short and informal description of a specification environment that is built upon the language and that is presently being implemented.

Reviewer: Th.Lehmann

##### MSC:

68P05 | Data structures |