Product and iteration of module specifications

  • Francesco Parisi-Presicce
Algebraic Specifications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 299)


A new operation on module specifications, called iteration, is introduced. It resembles Kleene's star construction for regular languages, it is closely related to the operations of union and composition and it is motivated by the need to define potentially infinite export interfaces using a single module. The iteration of a module M can be viewed as the limit of a sequence of products of the module with itself. The construction is shown to be well defined and to provide a solution to a fixed point equation at the specification level. More general recursive definitions are discussed and certain fixed point equations solved.


Module Specification Semantical Condition Forgetful Functor Fixed Point Equation Syntactical Level 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /B1 84/.
    Blum E.K., An Abstract System Model of Ada Semantics, TRW Technical Report, Aug. 1984.Google Scholar
  2. /BEP87/.
    Blum E.K., Ehrig H., Parisi-Presicce F., Algebraic Specification of Modules and their Basic Interconnections, JCSS 34, 2/3 (April/June 1987) 293–339.Google Scholar
  3. /BPP 85/.
    Blum E.K., Parisi-Presicce F., The Semantics of Shared Submodule Specifications, Proc. TAPSOFT 85 Vol. 1, LNCS 185 (1985) 359–373.Google Scholar
  4. /BG 77/.
    Burstall R.M., Goguen J.A., Putting Theories together to make Specifications. Proc. 5th Intern. Joint Conf. on Artif. Intell., Cambridge 1977, 1045–1058.Google Scholar
  5. /EL 83/.
    Ehrich H.-D., Lipeck U., Algebraic Domain Equations, Theoret. Comp. Sci. 27 (1983) 167–196.Google Scholar
  6. /EFP 86/.
    Ehrig H., Fey W., Parisi-Presicce F., Distributve Laws for Composition and Union of Module Specifications for Software Systems, Proc. IFIP Work. Conf. on Prog.Spec.and Transf.(ed. L.G.L.T.Meertens) North-Holland (1987) 293–312Google Scholar
  7. /EFPB 86/.
    Ehrig H., Fey W., Parisi-Presicce F., Blum E.K., Algebraic Theory of Module Specifications with Constraints, Proc. Math. Found. of Comp. Sci, LNCS 233 (1986) 59–77.Google Scholar
  8. /EKTWW 81/.
    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
  9. /EM 85/.
    Ehrig H., Mahr B., Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci. Vol 6, Springer-Verlag, 1985.Google Scholar
  10. /EW 85/.
    Ehrig H., Weber H., Algebraic Specification of Modules, in "Formal Models in Programming" (E.J.Neuhold and G.Chronist, Eds.) North-Holland, 1985.Google Scholar
  11. /EW 86/.
    Ehrig H., Weber H., Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986.Google Scholar
  12. /GGM 76/.
    Giarratana V., Gimona F., Montanari U., Observability Concepts in Abstract Data Type Specifications, 5th MFCS, LNCS 45 (1976) 576–587Google Scholar
  13. /GM 82/.
    Goguen J.A., Meseguer J., Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, ICALP 82, LNCS 140 (1982) 265–281.Google Scholar
  14. /GTW 78/.
    Goguen J.A., Thatcher J.W., Wagner E.G., An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, in Current Trends in Prog. Method., IV: Data Structuring (R.T. Yeh, Ed.), Prentice Hall, New Jersey (1978) 80–149.Google Scholar
  15. /HS 73/.
    Herrlich H., Strecker G.E., Category Theory, Allyn and Bacon Inc., Boston, 1973.Google Scholar
  16. /LZ 75/.
    Liskov B.H., Zilles S.N., Specification Techniques for Data Abstraction, IEEE Trans. on Soft. Eng., Vol SE-1, No. 1(1975) 7–19.Google Scholar
  17. /PD 85/.
    Padawitz P., Parameter Preserving Data Type Specifications, Proc. TAPSOFT 85 Vol 1, LNCS 185 (1985) 323–341.Google Scholar
  18. /PP 87b/.
    Parisi-Presicce F., Union and Actualization of Module Specifications: Some Compatibility Results, JCSS 35, 1 (1987) 72–95Google Scholar
  19. /PP 86/.
    Parisi-Presicce F., Inner and Mutual Compatibility of Basic Operations on Module Specifications, Proc. CAAP 86, LNCS 214 (1986) 30–44. Full version: Techn. Rep. 86-06, Techn. Univ. Berlin, April 1986.Google Scholar
  20. /PP 87/.
    Parisi-Presicce F., Partial Composition and Recursion of Module Specifications, Proc. CAAP 87, LNCS 249 (1987) 217–231.Google Scholar
  21. /Par 72/.
    Parnas D.L., A Technique for Software Module Specification with Examples, Comm. ACM 15, 5(1972) 330–336.Google Scholar
  22. /Rei 81/.
    Reichel H., Behavioral Equivalence-A Unifying Concept for Initial and Final Specification Methods, Proc. 3rd Hung. Comp. Sci. Conf., Budapest 1981, 27–39Google Scholar
  23. /SW 83/.
    Sannella D., Wirsing M., A Kernel Language for Algebraic Specification and Implementation, Internal Report No. CSR-131-83, Univ. Edinburgh, 1–44.Google Scholar
  24. /TWW 78/.
    Thatcher J.W., Wagner E., Wright J.B., Data Type Specification: Parametrization and the Power of Specifiation Techniques, 10th STOC (1987) 119–132 and Trans. Prog. Lang. Syst, 4 (1982) 711–732Google Scholar
  25. /WE 86/.
    Weber, H., Ehrig, H., Specification of Modular Systems, IEEE Trans. Soft. Eng., June 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Francesco Parisi-Presicce
    • 1
  1. 1.Dipartimento di MatematicaUniversita' dell'AquilaL'AquilaItaly

Personalised recommendations