The semantics of shared submodules specifications. (English) Zbl 0563.68014

Mathematical foundations of software development, Proc. Int. Conf., Berlin 1985, Vol. 1: Colloq. Trees in algebra and programming, Lect. Notes Comput. Sci. 185, 359-373 (1985).
[For the entire collection see Zbl 0561.00021.]
After reviewing the concept of module specification with import and export interfaces introduced by H. Ehrig for the modular development of software systems, precise definitions of submodule and union of modules specifications are given along with some basic results on their compatibility and semantics. The notion of amalgamated sum is used for the semantics of unions of modules and some connections are made with parametrized specifications. The results are restricted to the basic algebraic case.


68P05 Data structures


Zbl 0561.00021