Inner and mutual compatibility of basic operations on module specifications

  • Francesco Parisi-Presicce
Algebraic Theory Of Semantics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 214)


The category Mod of module specifications and module morphisms is introduced and used to show the inner compatibilities of union, composition and actualization of module specifications. Using algebraic techniques, we can provide a simple proof of the compatibility of actualization and union (i.e. that the union of actualized modules is an appropriate actualization of a union of the modules) and establish the compatibility of composition with parameterized actualization (i.e., that an actualization of the composite M1·M2 can be obtained as a composition of the actualized modules M1 and M2).

It is also shown that the operations of union, composition and actualization are monotone in all their arguments with respect to the partial order M1 ≤ M2 defined as "M1 is a submodule specification of M2".


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /AMRW85/.
    Astesiano, E., Mascari, G.F., Reggio, G., Wirsing, M., On the Parameterized Algebraic Specification of Concurrent Systems, Proc. CAAP 85, LNCS 185(1985) 342–358.Google Scholar
  2. /B184/.
    Blum, E. K., An Abstract System Model of Ada Semantics, TRW Technical Report, August 1984.Google Scholar
  3. /BEPP85/.
    Blum, E.K., Ehrig, H., Parisi-Presicce, F., Algebraic Specification of Modules and their Basic Interconnections, to appear in JCSS Special Issue on TAPSOFT85.Google Scholar
  4. /BPP85/.
    Blum, E. K., Parisi-Presicce, F., The Semantics of Shared Submodule Specifications, Proc. CAAP85, LNCS 185(1985) 359–373.Google Scholar
  5. /BG77/.
    Burstall, R.M., Gogunen, J.A., Putting Theories together to make Specifications, Proc. 5th Int. Joint Conf. on Artif. Intel., Cambridge, MA, (1977) 1045–1058.Google Scholar
  6. /EK83/.
    Ehrig, H., Kreowski, H.-J. Compatibility of Parameter Passing and Implementation of Parameterized Data Types, Theor. Comp. Sci. 27(1983) 255–286.Google Scholar
  7. /EKTWW81/.
    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
  8. /EM85/.
    Ehrig, H., Mahr, B., Foundations of Algebraic Specifications 1, EATCS Monographs on Theor. Comp. Sci. Vol. 6, Springer-Verlag 1985.Google Scholar
  9. /EPP85/.
    Ehrig, H., Parisi-Presicce, F., Union and Composition of Module Specifications for Software Systems are Compatible, Extended Abstract, Sept 1985.Google Scholar
  10. /EW85/.
    Ehrig, H., Weber, H., Algebraic Specification of Modules, Univ. Dortmund Techn. Report 190, 1985, to appear in Proc. IFIP Working Conf. on Formal Models in Programming, Vienna 1985.Google Scholar
  11. /G83/.
    Ganzinger, H., Parameterized Specifications: Parameter Passing and Implementation, ACM TOPLAS 5, 3(1983).Google Scholar
  12. /GM82/.
    Goguen, J.A., Meseguer, J., Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, Proc. ICALP 82, LNCS 140(1982) 265–281.Google Scholar
  13. /HS73/.
    Herrlich, H., Strecker, G.E., Category Theory, Allyn and Bacon Inc., Boston, 1973.Google Scholar
  14. /LZ74/.
    Liskov, B., Zilles, S.N., Programming with abstract data types, SIGPLAN Notices 9,4(1974) 50–59.Google Scholar
  15. /Mo84/.
    Mosses, P., A Basic Abstract Semantic Algebra, Proc. Semantics of Data Types, LNCS 173(1984) 87–108.Google Scholar
  16. /O183/.
    Oles, F.J., Type Algebras, Functor Categories, and Block Structure, in "Algebraic Methods in Semantics", eds. M. Nivat and J.C. Reynolds, Cambridge Univ. Press, 1985.Google Scholar
  17. /PP84/.
    Parisi-Presicce, F., The Operations of Union and Actualization of Module Specifications are Compatible, Tech. Report, Univ. of Southern California, Sept. 1984.Google Scholar
  18. /PP85/.
    Parisi-Presicce, F., Inner and Mutual Compatibility of Operations on Module Specifications, Tech. Report, Univ. of Southern California, Oct 1985.Google Scholar
  19. /Pa72/.
    Parnas, D.L., A Technique for Software Module Specification with Examples, CACM 15, 5(1972) 330–336.Google Scholar
  20. /SW82/.
    Sannella, D., Wirsing, M., Implementation of Parameterized Specifications, Proc. ICALP82, LNCS 140(1982) 473–488.Google Scholar
  21. /WE85/.
    Weber, H., Ehrig, H., Specification of Modular Systems, Univ. Dortmund Tehcn. Report 198, 1985.Google Scholar

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • Francesco Parisi-Presicce
    • 1
  1. 1.Department of MathematicsUniversity of Southern CaliforniaLos Angeles

Personalised recommendations