Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Astesiano E., Mascari G.F., Reggio G., Wirsing M., On the Parametrized Algebraic Specification of Concurrent Systems, CAAP 85, LNCS 185(1985) 342–358
Benson D.B., Guessarian I., Algebraic Solutions to Recursion Schemes, L.I.T.P. Tech.Rep. 81–66. Univ. Paris VII, Dec. 1981
Bertoni A., Mauri G., Miglioli P.A., A Characterization of Abstract Data as Model-Theoretic Invariants, ICALP 79, LNCS 71(1979) 26–37
Blum, E.K., An Abstract System Model of Ada Semantics, TRW Technical Report, Aug. 1984.
Blum E.K., Ehrig H., Parisi-Presicce F., Algebraic Specification of Modules and their Basic Interconnections, to appear in JCSS 86.
Blum, E.K., Parisi-Presicce, F., The Semantics of Shared Submodule Specifications, Proc. TAPSOFT 85 Vol. 1, LNCS 185 (1985) 359–373.
Burstall R.M., Goguen J.A., Putting Theories together to make Specifications. Proc. 5th Intern. Joint Conf. on Artif. Intell., Cambridge 1977, 1045–1058.
Ehrich H.-D., Lipeck U., Algebraic Domain Equations, Theoret. Comp. Sci. 27 (1983) 167–196.
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.
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.
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.
Ehrig, H., Mahr, B., Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci. Vol 6, Springer-Verlag, 1985.
Ehrig H., Wagner, E.G., Thatcher, J.W., Algebraic Specifications with Generating Constraints, ICALP 83, LNCS 154 (1983) 188–202.
Ehrig, H., Weber, H., Algebraic Specification of Modules, Proc IFIP Working Conference on Formal Models in Programming, Vienna 1985.
Ehrig H., Weber, H., Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986.
Futatsugi, K., Goguen, J.A., Joannaud, J.-P., Meseguer, J., Principles of OBJ2, 12th ACM POPL, New Orleans, 1985, 52–66.
Ganzinger, H., Parametrized Specifications: Parameter Passing and Implementation, ACM TOPLAS 5, 3 (1983).
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.
Goguen, J.A., Meseguer, J., Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, ICALP 82, LNCS 140 (1982) 265–281.
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.
Herrlich, H., Strecker, G.E., Category Theory, Allyn and Bacon Inc., Boston, 1973.
Liskov, B.H., Zilles, S.N., Specification Techniques for Data Abstraction, IEEE Trans. on Soft. Eng., Vol SE-1, No. 1(1975) 7–19.
Padawitz, P., Parameter Preserving Data Type Specifications, Proc. TAPSOFT 85 Vol 1, LNCS 185 (1985) 323–341.
Parisi-Presicce, F., Union and Actualization of Module Specifications: Some Compatibility Results, Techn. Report, Univ. of Southern California, 1985, to appear in JCSS.
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.
Parnas, D.L., A Technique for Software Module Specification with Examples, Comm. ACM 15, 5(1972) 330–336.
Reichel, H., Behavioral Equivalence — A unifying concept for initial and final specification methods, Proc. 3rd Hungarian Comp. Sci. Conf., Budapest, 1981, 27–39.
Sannella, D., Tarlecki, A., Program Specification and Development in Standard ML, 12th ACM POPL, New Orleans, 1985, 67–77.
Sannella, D., Tarlecki, A., On Observational Equivalence and Algebraic Specification, CAAP 85, LNCS 185 (1985) 308–322.
Sannella, D., Wirsing, M., A Kernel Language for Algebraic Specification and Implementation, Internal Report No. CSR-131-83, Univ. Edinburgh, 1–44.
Weber, H., Ehrig, H., Specification of Modular Systems, IEEE Trans. Soft. Eng., June 1986.
Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M., On Hierarchies of Abstract Data Types, Acta Inform. 20 (1983) 1–33.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Parisi-Presicce, F. (1987). Partial composition and recursion of module specifications. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds) TAPSOFT '87. CAAP 1987. Lecture Notes in Computer Science, vol 249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17660-8_57
Download citation
DOI: https://doi.org/10.1007/3-540-17660-8_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17660-2
Online ISBN: 978-3-540-47746-4
eBook Packages: Springer Book Archive