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.
Preview
Unable to display preview. Download preview PDF.
References
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, JCSS 34, 2/3 (April/June 1987) 293–339.
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., 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
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., Weber H., Algebraic Specification of Modules, in "Formal Models in Programming" (E.J.Neuhold and G.Chronist, Eds.) North-Holland, 1985.
Ehrig H., Weber H., Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986.
Giarratana V., Gimona F., Montanari U., Observability Concepts in Abstract Data Type Specifications, 5th MFCS, 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, JCSS 35, 1 (1987) 72–95
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.
Parisi-Presicce F., Partial Composition and Recursion of Module Specifications, Proc. CAAP 87, LNCS 249 (1987) 217–231.
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 Hung. Comp. Sci. Conf., Budapest 1981, 27–39
Sannella D., Wirsing M., A Kernel Language for Algebraic Specification and Implementation, Internal Report No. CSR-131-83, Univ. Edinburgh, 1–44.
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
Weber, H., Ehrig, H., Specification of Modular Systems, IEEE Trans. Soft. Eng., June 1986.
Author information
Authors and Affiliations
Editor information
Rights 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