Algebraic specification of modules and their basic interconnections

DOI10.1016/0022-0000(87)90028-6MaRDI QIDQ1089795zbMATH OpenOpenAlexFDO

Publication date 1987

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(87)90028-6

Ada packages airport-schedule system modules in software engineering parameterized specifications for abstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Review text

An algebraic specification concept for modules in software engineering is introduced which includes, in addition to a parameter and body part, explicit import and export interfaces. This concept integrates the main ideas of parameterized specifications for abstract data types and the information-hiding concept required for modules in software engineering. The concept is carefully motivated and defined with formal syntax and semantics within the framework of algebraic specifications. The basic constructions for combining modules are composition, actualization, extension, and union of modules with shared submodules. In this paper, composition and union are studied in detail. Both constructions are shown to be compositional. This means that the semantics of a combined module can be expressed in terms of the semantics of the components. To show the practical significance, specifications for the modules of an airport- schedule system and corresponding Ada packages are presented as an example.

Cites work

Cited in

(25)

This page was built for publication: Algebraic specification of modules and their basic interconnections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1089795)