Abstract
The theory of algebraic module specifications with horizontal structuring operations, like composition, actualization and union, is extended by vertical development steps, like refinement, simulation and transformation, and a realization concept of interface by module specifications. Various compatibility results between horizontal operations, vertical steps and realization are explicitly presented and summarized as one compatibility result in a basic development category. Five independent modifications, which are important for practical specification development, are sketched in the paper leading to several other development categories where corresponding compatibility results are true under some additional side conditions.
This is a preview of subscription content, log in via an institution to check access.
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, JCSS 34 (1987), 293–339
Blum, E.K., Parisi-Presicce, F.: The semantics of shared submodules specifications. Proc. TAPSOFT vol 1, 1985, LNCS 185, pp. 359–373
Ehrig, H.: F-Morphismen, Math. Nachr. 59 (1974), 75–93
—: 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., Kreowski, H.-J., Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. ICALP'78, Springer LNCS 62, 205–226
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., Parisi-Presicce, F., Fey, W., Blum, E.K.: Algebraic Theory of Module Specifications with Constraints, Proc. MFCS'86, LNCS 233, 59–77
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), 188–202
Goguen, J.A., Burstall, R.M.: Introducing Institutions, Springer LNCS 164 (1983), 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, 576–587
Goguen, J.A., Meseguer, J.: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, Proc. 9th ICALP Aarhus, 1982, LNCS 140, (1983), 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
Oberst, U.: Systeme direkt verbundener Kategorien und universelle Funktoren, Diss. München 1964
Parnas, D.C.: A Technique for Software Module Specification with Examples, CACM 15, 5(1972), 330–336
Parisi-Presicce, F.: Inner and Mutual Compatibility of Basic Operations on Module Specifications, Proc. CAAP'86, Nice, Springer LNCS 214, (1986), 30–44
—: Partial Composition and Recursion of Module Specifications, Proc. TAPSOFT '87, Springer LNCS 249, 217–231
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.: Buildung Specifications in an Arbitrary Institution, LNCS 173 (1984), 337–356
—: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited, Proc. TAPSOFT'87, Springer LNCS 249, 96–110
Sannella, D., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation, Internal Report No CSR-131-83, Univ. of 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. Software Engineering, June 1986
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Fey, W., Hansen, H., Löwe, M., Parisi-Presicce, F. (1989). Categories for the development of algebraic module specifications. In: Ehrig, H., Herrlich, H., Kreowski, H.J., Preuß, G. (eds) Categorical Methods in Computer Science With Aspects from Topology. Lecture Notes in Computer Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51722-7_10
Download citation
DOI: https://doi.org/10.1007/3-540-51722-7_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51722-1
Online ISBN: 978-3-540-46787-8
eBook Packages: Springer Book Archive