Partial composition and recursion of module specifications

  • Francesco Parisi-Presicce
Session CAAP 5 Algebraic Specifications II
Part of the Lecture Notes in Computer Science book series (LNCS, volume 249)


The basic interconnections of module specifications (union, composition and actualization) were studied in earlier papers. Here we introduce partial composition and partial actualization of module specifications, describe the connection with their "total" counterpart and prove that the result of successive partial compositions (or actualizations) is independent of the order. We also introduce a recursive construction first of a single module and then of two modules "recursively calling" each other. A connection between these two recursions is established, along with compatibility properties with the basic constructions and the expected fixed point equation at the semantical level.


  1. /AMRW85/.
    Astesiano E., Mascari G.F., Reggio G., Wirsing M., On the Parametrized Algebraic Specification of Concurrent Systems, CAAP 85, LNCS 185(1985) 342–358Google Scholar
  2. /BG 81/.
    Benson D.B., Guessarian I., Algebraic Solutions to Recursion Schemes, L.I.T.P. Tech.Rep. 81–66. Univ. Paris VII, Dec. 1981Google Scholar
  3. /BMM79/.
    Bertoni A., Mauri G., Miglioli P.A., A Characterization of Abstract Data as Model-Theoretic Invariants, ICALP 79, LNCS 71(1979) 26–37Google Scholar
  4. /B1 84/.
    Blum, E.K., An Abstract System Model of Ada Semantics, TRW Technical Report, Aug. 1984.Google Scholar
  5. /BEPP86/.
    Blum E.K., Ehrig H., Parisi-Presicce F., Algebraic Specification of Modules and their Basic Interconnections, to appear in JCSS 86.Google Scholar
  6. /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
  7. /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
  8. /EL 83/.
    Ehrich H.-D., Lipeck U., Algebraic Domain Equations, Theoret. Comp. Sci. 27 (1983) 167–196.CrossRefGoogle Scholar
  9. /EFP 86/.
    Ehrig, H., Fey, W., Parisi-Presicce, F., Distributive Laws for Composition and Union of Module Specifications for Software Systems, Proc.IFIP TC2 Work. Conf. on Program Specification and Transformation, Bad Tolz, April 1986.Google Scholar
  10. /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
  11. /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
  12. /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
  13. /EWT 83/.
    Ehrig H., Wagner, E.G., Thatcher, J.W., Algebraic Specifications with Generating Constraints, ICALP 83, LNCS 154 (1983) 188–202.Google Scholar
  14. /EW 85/.
    Ehrig, H., Weber, H., Algebraic Specification of Modules, Proc IFIP Working Conference on Formal Models in Programming, Vienna 1985.Google Scholar
  15. /EW 86/.
    Ehrig H., Weber, H., Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986.Google Scholar
  16. /FGJM 85/.
    Futatsugi, K., Goguen, J.A., Joannaud, J.-P., Meseguer, J., Principles of OBJ2, 12th ACM POPL, New Orleans, 1985, 52–66.Google Scholar
  17. /Ga 83/.
    Ganzinger, H., Parametrized Specifications: Parameter Passing and Implementation, ACM TOPLAS 5, 3 (1983).CrossRefGoogle Scholar
  18. /GGM 76/.
    Giarratana, V., Gimona, F., Montanari, U., Observability Concepts in Abstract Data Type Specifications, 5th Symp. Math. Found. of Comp. Sci. 1976, LNCS 45 (1976) 576–587.Google Scholar
  19. /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
  20. /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
  21. /HS 73/.
    Herrlich, H., Strecker, G.E., Category Theory, Allyn and Bacon Inc., Boston, 1973.Google Scholar
  22. /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
  23. /PD 85/.
    Padawitz, P., Parameter Preserving Data Type Specifications, Proc. TAPSOFT 85 Vol 1, LNCS 185 (1985) 323–341.Google Scholar
  24. /PP 85/.
    Parisi-Presicce, F., Union and Actualization of Module Specifications: Some Compatibility Results, Techn. Report, Univ. of Southern California, 1985, to appear in JCSS.Google Scholar
  25. /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
  26. /Par 72/.
    Parnas, D.L., A Technique for Software Module Specification with Examples, Comm. ACM 15, 5(1972) 330–336.CrossRefGoogle Scholar
  27. /Rei 81/.
    Reichel, H., Behavioral Equivalence — A unifying concept for initial and final specification methods, Proc. 3rd Hungarian Comp. Sci. Conf., Budapest, 1981, 27–39.Google Scholar
  28. /ST 85a/.
    Sannella, D., Tarlecki, A., Program Specification and Development in Standard ML, 12th ACM POPL, New Orleans, 1985, 67–77.Google Scholar
  29. /ST 85b/.
    Sannella, D., Tarlecki, A., On Observational Equivalence and Algebraic Specification, CAAP 85, LNCS 185 (1985) 308–322.Google Scholar
  30. /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
  31. /WE 86/.
    Weber, H., Ehrig, H., Specification of Modular Systems, IEEE Trans. Soft. Eng., June 1986.Google Scholar
  32. /WPPDB 83/.
    Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M., On Hierarchies of Abstract Data Types, Acta Inform. 20 (1983) 1–33.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

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

Personalised recommendations