Abstract
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.
This research was supported in part by the National Science Foundation under Grant MCS 82-03666.
Chapter PDF
Similar content being viewed by others
References
Blum, E.K., Parisi-Presicce, F., Implementation of Data Types by Algebraic Methods, J. Comput. System Sci. 27, 2 (Oct. 1983) 304–330.
Ehrig, H., An Algebraic Specification Concept for Modules, Draft Version, Techn. Report No. 84-02, TU Berlin, FB 20, March 1984.
Ehrig, H., Kreowski, H.-J., Compatibility of Parameter Passing and Implementation of Parameterized Data Types, Theoret. Comp. Sci. 27(1983) 255–286.
Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P., Algebraic Implementation of Abstract Data Types, Theoret. Comp. Sci. 20(1982) 209–264.
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.
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.
Parisi-Presicce, F., The operations of union and actualization of module specifications are compatible, Extended Abstract, Univ. of Southern California, September 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blum, E.K., Parisi-Presicce, F. (1985). The semantics of shared submodules specifications. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Mathematical Foundations of Software Development. CAAP 1985. Lecture Notes in Computer Science, vol 185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15198-2_23
Download citation
DOI: https://doi.org/10.1007/3-540-15198-2_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15198-2
Online ISBN: 978-3-540-39302-3
eBook Packages: Springer Book Archive