Advertisement

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

  • Hartmut Ehrig
  • Michael Baldamus
  • Fernando Orejas
Contributed Papers
Part of the Lecture Notes in Computer Science book series (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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bal 90]
    Baldamus, M.: Constraints and their Normal Forms in the Framework of Specification Logics (in German), Studienarbeit, TU Berlin (1990)Google Scholar
  2. [Ben 85]
    Bcnabou, J.: Fibred categories and the foundations of naive category theory. Journal of Symbolic Logic 50 (1985), 10–37Google Scholar
  3. [BGT 89]
    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, 1989Google Scholar
  4. [BP85]
    Blum, E.K.; Parisi-Presicce, F.: The semantics of shared submodules specifications. Proc. TAPSOFT vol 1, 1985, Springer LNCS 185, 359–373Google Scholar
  5. [DGS 91]
    Diaconescu, R.; Goguen, J.A.; Stefaneas, P.: Logical support for modularization, this volume.Google Scholar
  6. [DGS 92]
    Diaconescu, R.; Goguen, J.A.; Stefaneas, P.: Logical support for modularization, Techn. Report, Oxford University, August 1991Google Scholar
  7. [EBCO 91]
    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, 1991Google Scholar
  8. [EBCO 92]
    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, 1992Google Scholar
  9. [EBO 91]
    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 1991Google Scholar
  10. [EG 91]
    Ehrig, H.; Große-Rhode, M.: Structural Theory of Algebraic Specifications in a Specification Logics, Part 1: Functorial Parameterized Specifications, in preparationGoogle Scholar
  11. [Ehr 89]
    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. [EKTWW 81]
    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. [EM 85]
    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. [EM 90]
    Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, Springer (1990)Google Scholar
  15. [EPO 89]
    Ehrig, H.; Pepper, P.; Orejas, F.: On Recent Trends in Algebraic Specification, Proc. ICALP'89, Springer LNCS 372 (1989), pp. 263–288Google Scholar
  16. [GB 84]
    Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221–256Google Scholar
  17. [GR 89]
    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. [Gra 65]
    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–83Google Scholar
  19. [Gro 63]
    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–194Google Scholar
  20. [GTW 76/78]
    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–144Google Scholar
  21. [Hig 64]
    Higgin, P.J.: Algebras with a Scheme of Operators, Mathematische Nachrichten 27 [1963/64], pp 115–132Google Scholar
  22. [JP 78]
    Johnstone, P.T., Paré, R.: Indexed categories and their applications. Lect. Not in Math. 661, Springer-Verlag, 1978Google Scholar
  23. [Ma 89]
    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. [Mes 89]
    Meseguer, J.: General Logics, Logic Colloquium'87 (eds. Ebbinghaus et. al.), North-Holland, 1989Google Scholar
  25. [NO 88]
    Nivela, P.; Orejas, F.: Behavioral semantics for algebraic specification languages, Proc. ADT-Workshop Gullane, 1987, Springer LNCS 332 (1988), 184–207Google Scholar
  26. [ONE 89]
    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. [Ru 79]
    Rus.T.: Data Structures and Operating Systems. John Wiley & Sons (1979)Google Scholar
  28. [Ru 90]
    Rus, T.: Steps towards Algebraic Construction of Compilers. Technical Report, University of Iowa (1990)Google Scholar
  29. [ST 84]
    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–210Google Scholar
  30. [TWW 78/82]
    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–732Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Michael Baldamus
    • 1
  • Fernando Orejas
    • 2
  1. 1.Technical University BerlinGermany
  2. 2.Universidad Politechnica CatalunyaSpain

Personalised recommendations