The semantics of shared submodules specifications

  • E. K. Blum
  • F. Parisi-Presicce
Colloquium On Trees In Algebra And Programming Semantics And Data Types
Part of the Lecture Notes in Computer Science book series (LNCS, volume 185)

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.

References

  1. [1]
    Blum, E.K., Parisi-Presicce, F., Implementation of Data Types by Algebraic Methods, J. Comput. System Sci. 27, 2 (Oct. 1983) 304–330.CrossRefGoogle Scholar
  2. [2]
    Ehrig, H., An Algebraic Specification Concept for Modules, Draft Version, Techn. Report No. 84-02, TU Berlin, FB 20, March 1984.Google Scholar
  3. [3]
    Ehrig, H., Kreowski, H.-J., Compatibility of Parameter Passing and Implementation of Parameterized Data Types, Theoret. Comp. Sci. 27(1983) 255–286.CrossRefGoogle Scholar
  4. [4]
    Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P., Algebraic Implementation of Abstract Data Types, Theoret. Comp. Sci. 20(1982) 209–264.Google Scholar
  5. [5]
    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
  6. [6]
    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
  7. [7]
    Parisi-Presicce, F., The operations of union and actualization of module specifications are compatible, Extended Abstract, Univ. of Southern California, September 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • E. K. Blum
    • 1
  • F. Parisi-Presicce
    • 1
  1. 1.Department of MathematicsUniversity of Southern CaliforniaLos Angeles

Personalised recommendations