Abstract
The concept for modules in software engineering based on equational algebraic specifications is extended by a suitable notion of constraints. This allows to have loose specifications with constraints for parameter, export and import interfaces of module specifications without loosing executability of the body specification. Correctness of such module specifications ensures that data types satisfying the import constraints are transformed into ones satisfying the export constraints. Operations on module specifications like composition, actualization and union are extended to the case with constraints. They are shown to preserve correctness and to be compositional w.r.t. the semantics. Moreover these operations on module specifications satisfy algebraic laws comparable to those of R-modules in algebra.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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
Blum, E.K., Ehrig, H., Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, to appear in JCSS 1986
Blum, E.K., Parisi-Presicce, F.: The semantics of shared submodules specifications. Proc. TAPSOFT vol 1, 1985, LNCS 185, pp. 359–373
Ehrig, H.: Algebraic theory of parameterized specifications with requirements. 6e Coll. Les Arbres en Algebre et Programmation, Genova 1981, Springer LNCS 112, pp. 1–24
—: Notes on Modules in Duplex Institutions, TU Berlin, Sept 1985
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1985
Ehrig,H.,Fey,W.,Parisi-Presicce,F.: Distributive Laws for Composition and Union of Module Specifications for Software Systems, Proc. IFIP TC2 Working Conf. on Program Specification and Transformation, Bad Tölz, 1986
Ehrig, H., Weber, H.: Algebraic Specification of Modules, in Formal Models in Programming (eds. Neuhold, E.J., Chronist, G.), North Holland (1985), pp. 231–258
—: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986
Ehrig, H., Wagner, E.G., Thatcher, J.W.: Algebraic Constraints for Specifications and Canonical Form Results, Techn. Report Techn. Univ. Berlin, No 82-09 (1982)
—: Algebraic Specifications with Generating Constraints, Proc. ICALP 1983, Barcelona, Springer LNCS 154 (1983), pp. 188–202
Fey, W.: The Module Specification Language ACT TWO, in preparation, Berlin 1986
Goguen, J.A., Burstall, R.M.: Introducing Institutions, Springer LNCS 164 (1983), pp. 221–256
Giarratana, V., Gimona, F., Montanari, U.: Observability Concepts in Abstract Data Type Specifications. 5th Symp. Math. Foundations of Comp. Sci. (1976), Springer LNCS 45, pp. 576–587
Goguen, J.A., Meseguer, J.: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, Proc. 9th ICALP Aarhus, 1982, LNCS 140 (1983), pp. 265–281
Liskov, B.H., Zilles, S.N.: Specification Techniques for Data Abstraction, IEEE Trans. on Soft. Eng., Vol SE-1, No 1 (1975), 7–19
Majster, M.E.: Limits of the Algebraic Specification of Data Types, SIGPLAN Notices 12, 10(1977), 37–42
Parnas, D.C.: A Technique for Software Module Specification with Examples, CACM 15, 5(1972), pp. 330–336
Parisi-Presicce, F.: Inner and Mutual Compatibility of Basic Operations on Module Specifications, Proc. CAAP'86, Nice, Springer LNCS 214 (1986), pp. 30–44
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.: Building Specifications in an Arbitrary Institution, LNCS 173 (1984), pp. 337–356
Sannella, D., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation, Internal Report No. CSR-131-83, Univ. Edinburgh, 1–44
Tarlecki, A.: Software System Development — An Abstract View, Proc. IFIP Congress '86, Dublin, Sept 1986
Weber,H., Ehrig, H.: Specification of Modular Systems, Transact. Soft. Eng., June 1986
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Fey, W., Parisi-Presicce, F., Blum, E.K. (1986). Algebraic theory of module specifications with constraints. In: Gruska, J., Rovan, B., Wiedermann, J. (eds) Mathematical Foundations of Computer Science 1986. MFCS 1986. Lecture Notes in Computer Science, vol 233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016234
Download citation
DOI: https://doi.org/10.1007/BFb0016234
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16783-9
Online ISBN: 978-3-540-39909-4
eBook Packages: Springer Book Archive