Skip to main content
SpringerLink
Log in

New concepts of amalgamation and extension for a general theory of specifications

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1991, COMPASS 1991)

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

Abstract

The concepts of amalgamation and extension arc of fundamental importance for various kinds of equational and behavioural algebraic specifications. They are studied in the unifying framework of a specification logic and in the corresponding category of generalized morphisms. This leads to interesting characterizations via pushouts and to the concepts of generalized amalgamation and generalized extension which are new even in the special case of equational algebraic specifications. These results are promising for a general theory of parameterized and module specifications where strong persistency of functors can be relaxed by weaker properties.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baldamus, M.: Constraints and their Normal Forms in the Framework of Specification Logics (in German), Studienarbeit, TU Berlin (1990)

    Google Scholar 

  2. Bcnabou, J.: Fibred categories and the foundations of naive category theory. Journal of Symbolic Logic 50 (1985), 10–37

    Google Scholar 

  3. Burstall, R.M.; Goguen, J.A.; Tarlecki, A.: Some Fundamental Algebraic Tools for the Semantics of Computation, Part 3: Indexed Categories. Technical Report LFCS Report Series No. ECS-LFCS-89-90, University of Edinburgh, 1989

    Google Scholar 

  4. Blum, E.K.; Parisi-Presicce, F.: The semantics of shared submodules specifications. Proc. TAPSOFT vol 1, 1985, Springer LNCS 185, 359–373

    Google Scholar 

  5. Diaconescu, R.; Goguen, J.A.; Stefaneas, P.: Logical support for modularization, this volume.

    Google Scholar 

  6. Diaconescu, R.; Goguen, J.A.; Stefaneas, P.: Logical support for modularization, Techn. Report, Oxford University, August 1991

    Google Scholar 

  7. Ehrig, H.; Baldamus, M; Cornelius, F.; Orejas, F.: Theory of Algebraic Module Specifications including Behavioural Semantics, Constraints and Aspects of Generalized Morphisms (invited paper), Proc. AMAST91, Iowa City, 1991

    Google Scholar 

  8. Ehrig, H.; Baldamus, M.; Cornelius, F.; Orejas, F.: Theory of Algebraic Module Specifications including Behavioural Semantics and Constraints. Final version of Proc. AMAST91, to appear as a Springer LNCS, 1992

    Google Scholar 

  9. Ehrig, H.; Baldamus, M.; Orejas, F.: New Concepts for Amalgamation and Extension in the Framework of Specification Logics, Technical Report No. 91/05, TU Berlin 1991

    Google Scholar 

  10. Ehrig, H.; Große-Rhode, M.: Structural Theory of Algebraic Specifications in a Specification Logics, Part 1: Functorial Parameterized Specifications, in preparation

    Google Scholar 

  11. Ehrig, H.: Algebraic Specification of Modules and Modular Software Systems within the Framework of Specification Logics, Technical Report 89/17, TU Berlin (1989)

    Google Scholar 

  12. Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, EG.; Wright, J.B.: Parameter Passing in Algebraic Specification Languages, Proc. Workshop on Program Specification, Springer LNCS 134 (1981), 322–369, also appeared in TCS (1984)

    Google Scholar 

  13. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)

    Google Scholar 

  14. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, Springer (1990)

    Google Scholar 

  15. Ehrig, H.; Pepper, P.; Orejas, F.: On Recent Trends in Algebraic Specification, Proc. ICALP'89, Springer LNCS 372 (1989), pp. 263–288

    Google Scholar 

  16. Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221–256

    Google Scholar 

  17. Große-Rhode, M.: Parameterized Daia Type and Process Specifications using Projection Algebras, in: Categorical Methods in Computer Science — with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preuß, eds.), Springer LNCS 393 (1989)

    Google Scholar 

  18. Gray, J.W.: Fibred and cofibred categories. In S. Eilenberg, D.K. Harrison, S. MacLane, H. Röhrl (eds.), Proc. Conf. on Categorical Algebra, Springer-Verlag, 1966, 21–83

    Google Scholar 

  19. Grothendieck, A.: Catégories fibrées et descente. In Revetements étales et groupe fondamental, Séminaire de Géométrie Algébraique du Bois-Marie 1960/61, Exposé VI, Institut des Hautes Études Scientifiques, Paris, 1963; reprinted in Lect. Not. in Math. 224, Springer-Verlag, 1971, 145–194

    Google Scholar 

  20. Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80–144

    Google Scholar 

  21. Higgin, P.J.: Algebras with a Scheme of Operators, Mathematische Nachrichten 27 [1963/64], pp 115–132

    Google Scholar 

  22. Johnstone, P.T., Paré, R.: Indexed categories and their applications. Lect. Not in Math. 661, Springer-Verlag, 1978

    Google Scholar 

  23. Mahr, B.: Empty Carriers: The Categorical Burden on Logic; in: Categorical Methods in Computer Science — with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preuß, cds.), Springer LNCS 393 (1989)

    Google Scholar 

  24. Meseguer, J.: General Logics, Logic Colloquium'87 (eds. Ebbinghaus et. al.), North-Holland, 1989

    Google Scholar 

  25. Nivela, P.; Orejas, F.: Behavioral semantics for algebraic specification languages, Proc. ADT-Workshop Gullane, 1987, Springer LNCS 332 (1988), 184–207

    Google Scholar 

  26. Orejas, F.; Nivela, P.; Ehrig, H.: Semantical Constructions for Categories of Behavioral Specifications, in: Computer Science — with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preuß, eds.), Springer LNCS 393 (1989)

    Google Scholar 

  27. Rus.T.: Data Structures and Operating Systems. John Wiley & Sons (1979)

    Google Scholar 

  28. Rus, T.: Steps towards Algebraic Construction of Compilers. Technical Report, University of Iowa (1990)

    Google Scholar 

  29. Sannella, D.T.; Tarlecki, A.: Building specifications in an arbitrary institution. Proc. of the Int Symp. on Semantics of Data Types, LNCS 73, Springer (1984), 337–356. Full version: Information and Computation 76 (1988), 165–210

    Google Scholar 

  30. Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119–132. Trans. Prog. Languages and Systems 4 (1982), 711–732

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technical University Berlin, Germany

    Hartmut Ehrig & Michael Baldamus

  2. Universidad Politechnica Catalunya, Spain

    Fernando Orejas

Authors
  1. Hartmut Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Baldamus
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fernando Orejas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michel Bidoit Christine Choppy

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrig, H., Baldamus, M., Orejas, F. (1993). New concepts of amalgamation and extension for a general theory of specifications. In: Bidoit, M., Choppy, C. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1991 1991. Lecture Notes in Computer Science, vol 655. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56379-2_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-56379-2_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56379-2

  • Online ISBN: 978-3-540-47545-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation