Skip to main content
SpringerLink
Log in
Book cover

Colloquium on Trees in Algebra and Programming

CAAP 1988: CAAP '88 pp 149–164Cite as

Product and iteration of module specifications

  • Algebraic Specifications
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 299))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Blum E.K., An Abstract System Model of Ada Semantics, TRW Technical Report, Aug. 1984.

    Google Scholar 

  2. 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. 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. 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. Ehrich H.-D., Lipeck U., Algebraic Domain Equations, Theoret. Comp. Sci. 27 (1983) 167–196.

    Google Scholar 

  6. 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–312

    Google Scholar 

  7. 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. 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. 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. 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. Ehrig H., Weber H., Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986.

    Google Scholar 

  12. Giarratana V., Gimona F., Montanari U., Observability Concepts in Abstract Data Type Specifications, 5th MFCS, LNCS 45 (1976) 576–587

    Google Scholar 

  13. Goguen J.A., Meseguer J., Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, ICALP 82, LNCS 140 (1982) 265–281.

    Google Scholar 

  14. 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. Herrlich H., Strecker G.E., Category Theory, Allyn and Bacon Inc., Boston, 1973.

    Google Scholar 

  16. 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. Padawitz P., Parameter Preserving Data Type Specifications, Proc. TAPSOFT 85 Vol 1, LNCS 185 (1985) 323–341.

    Google Scholar 

  18. Parisi-Presicce F., Union and Actualization of Module Specifications: Some Compatibility Results, JCSS 35, 1 (1987) 72–95

    Google Scholar 

  19. 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. Parisi-Presicce F., Partial Composition and Recursion of Module Specifications, Proc. CAAP 87, LNCS 249 (1987) 217–231.

    Google Scholar 

  21. Parnas D.L., A Technique for Software Module Specification with Examples, Comm. ACM 15, 5(1972) 330–336.

    Google Scholar 

  22. Reichel H., Behavioral Equivalence-A Unifying Concept for Initial and Final Specification Methods, Proc. 3rd Hung. Comp. Sci. Conf., Budapest 1981, 27–39

    Google Scholar 

  23. 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. 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–732

    Google Scholar 

  25. Weber, H., Ehrig, H., Specification of Modular Systems, IEEE Trans. Soft. Eng., June 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Universita' dell'Aquila, I-67100, L'Aquila, Italy

    Francesco Parisi-Presicce

Authors
  1. Francesco Parisi-Presicce
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Dauchet M. Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parisi-Presicce, F. (1988). Product and iteration of module specifications. In: Dauchet, M., Nivat, M. (eds) CAAP '88. CAAP 1988. Lecture Notes in Computer Science, vol 299. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026102

Download citation

  • DOI: https://doi.org/10.1007/BFb0026102

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19021-9

  • Online ISBN: 978-3-540-38930-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation