A module concept within the initial behaviour framework

Abstract

A module concept is defined which anables the description of the whole design of software systems, that is, not only the specifications of problem requirements but also the specification of the process of implementation design. Moreover, this concept encapsulates (like in packages and similar constructions) both the interface and implementation parts. This module concept is based on a behaviour approach where the notion of implementation coincides with realization of the behaviour, that is, an abstract data type implements another if reproduces its behaviour. For that a special kind of signature morphism, called implementation morphism, is introduced in order to formalize this realization of a behaviour idea and it is shown that implementation defined in this way is compatible with parameter passing.