Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1996: Algebraic Methodology and Software Technology pp 132–147Cite as

Pushouts of order-sorted algebraic specifications

  • Conference
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1101))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer LNCS 562, 1991.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. K. Futatsugi, J.A. Goguen, J. Jouannaud, and J. Meseguer. Principles of OBJ2. In: 12th Symposium of POPL. Association for Computing Machinery, 1985.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. J.A. Goguen and R. Diaconescu. An Oxford Survey of Order Sorted Algebra. In: Mathematical Structures in Computer Science, 1994.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, SRI Int., 1992. Draft.

    Google Scholar 

  10. A.E. Haxthausen. Structuring Mechanisms in Algebraic Specification Languages. PhD thesis, Department of Computer Science, the Technical University of Denmark,1988.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. A. Poigné. Parametrization for Order-Sorted Algebraic Specification. Journal of Computer and System Sciences 40, pp. 229–268 (1990).

    Google Scholar 

  15. D. Sannella and A. Tarlecki. Specifications in an Arbitrary Institution. Technical Report CSR-184–85, Department of Computer Science, University of Edinburgh, 1985.

    Google Scholar 

  16. M. Wirsing. Algebraic specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, 675–788, Elsevier Science Publishers B. V., 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Technology, Technical University of Denmark, 2800, Lyngby, Denmark

    Anne Elisabeth Haxthausen

  2. sd&m GmbH & Co. KG, Thomas-Dehler-Str. 27, 81737, München, Germany

    Friederike Nickl

Authors
  1. Anne Elisabeth Haxthausen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Friederike Nickl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation