Abstract
This paper investigates the existence of pushouts in the category of order-sorted algebraic specifications and specification morphisms. As amain result it is shown that the existence can be guaranteed by imposing certain conditions on the specification morphisms. This result is important as the pushout construction is one of the most widely used approaches to combine specifications.
The research by A.E.H. was supported by the Danish Technical Research Council under the “Codesign” programme.
The work was carried out when F.N. was a member of the Institut für Informatik, Ludwig-Maximilians-Universität München.
Preview
Unable to display preview. Download preview PDF.
References
R.M. Burstall and J.A. Goguen. The Semantics of Clear, a Specification Language. In: Advanced Course on Abstract Software Specifications, Springer LNCS 86, 1985.
R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer LNCS 562, 1991.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol. 6. Springer-Verlag, 1985.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2, Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol. 21. Springer-Verlag, 1990.
K. Futatsugi, J.A. Goguen, J. Jouannaud, and J. Meseguer. Principles of OBJ2. In: 12th Symposium of POPL. Association for Computing Machinery, 1985.
J.A. Goguen and R.M. Burstall. Institutions: Abstract model theory for computer science. Technical report, Center for Study of Language and Information, Stanford University, 1985.
J.A. Goguen and R. Diaconescu. An Oxford Survey of Order Sorted Algebra. In: Mathematical Structures in Computer Science, 1994.
J.A. Goguen and J. Meseguer. Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theoretical Computer Science, 105(2), 1992.
J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, SRI Int., 1992. Draft.
A.E. Haxthausen. Structuring Mechanisms in Algebraic Specification Languages. PhD thesis, Department of Computer Science, the Technical University of Denmark,1988.
R. Hennicker and F. Nickl. A Behavioural Algebraic Framework for Modular System Design with Reuse. In: F. Orejas (ed.): Recent Trends in Data Type Specification, Springer LNCS 785, pp. 220–234, 1994.
A.E. Haxthausen and F. Nickl. Pushouts of Order-Sorted Algebraic Specifications. Technical Report, Institut für Informatik, Ludwig-Maximilians-Universität München, 1996.
M. Nenninger and F. Nickl. Implementing Data Structures by Composition of Reusable Components: A Formal Approach. In: M. Wirsing (ed.): Formal Methods Applications in Software Engineering Practice, Proceedings of the ICSE-17 Workshop, Seattle, April 1995, pp. 134–142.
A. Poigné. Parametrization for Order-Sorted Algebraic Specification. Journal of Computer and System Sciences 40, pp. 229–268 (1990).
D. Sannella and A. Tarlecki. Specifications in an Arbitrary Institution. Technical Report CSR-184–85, Department of Computer Science, University of Edinburgh, 1985.
M. Wirsing. Algebraic specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, 675–788, Elsevier Science Publishers B. V., 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haxthausen, A.E., Nickl, F. (1996). Pushouts of order-sorted algebraic specifications. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014312
Download citation
DOI: https://doi.org/10.1007/BFb0014312
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61463-0
Online ISBN: 978-3-540-68595-1
eBook Packages: Springer Book Archive