The semantics of shared submodules specifications
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.
- Ehrig, H., An Algebraic Specification Concept for Modules, Draft Version, Techn. Report No. 84-02, TU Berlin, FB 20, March 1984.Google Scholar
- Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P., Algebraic Implementation of Abstract Data Types, Theoret. Comp. Sci. 20(1982) 209–264.Google Scholar
- Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., Wright, J.B., Parameter Passing in Algebraic Specification Languages, Proc. Aarhus Workshop on Prog. Spec., 1981, LNCS 134(1982) 322–369.Google Scholar
- Goguen, J.A., Thatcher, J.W., Wagner, E.G., An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, Current Trends in Prog. Method., IV: Data Structuring (R.T. Yeh, Ed.) Prentice-Hall, NJ (1978) 80–149.Google Scholar
- Parisi-Presicce, F., The operations of union and actualization of module specifications are compatible, Extended Abstract, Univ. of Southern California, September 1984.Google Scholar