Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic and Logic Programming

ALP 1992: Algebraic and Logic Programming pp 3–20Cite as

High-level-replacement systems for equational algebraic specifications

  • Conference paper
  • First Online:

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

Abstract

Equational algebraic specifications and the corresponding specification morphisms have been defined in the literature in several ways. Although apparently equivalent, they are significantly different with respect to standard categorical constructions, leading to categories of algebraic spacifications which are not equivalent. The nonequivalence of these categories of algebraic specifications is also significant in the context of high-level-replacement (HLR) systems, a generalization at the categorical level of the well known algebraic approach to graph grammars based on double pushout. Unexpectedely, only for some of the categories the properties needed to prove the Church-Rosser, Parallelism and Concurrency Theorems for High-Level-Replacement systems are valid.

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.Burstall, J.A. Goguen: Putting theories together to make specifications, Proc.5th Internat. Joint Conf. on Artificial Intelligence, Cambridge Mass., 1977, pp. 1045–1058

    Google Scholar 

  2. A.Corradini, U.Montanari, F.Rossi, H.Ehrig, M.Lowe: Graph Grammars and Logic Programming, in [8] pp.221–237

    Google Scholar 

  3. A.Corradini, F.Rossi, F.Parisi-Presicce: Logic Programming as Hypergraph rewriting, Proc. CAAP91/TAPSOFT91, Lecture Notes in Computer Science 493 (1991) pp.275–295

    Google Scholar 

  4. H. Ehrig.: Introduction to the algebraic theory of graph grammars (A Survey) in: Graph Grammars and Their Application to Computer Science and Biology, Springer LNCS 73, (1979), 1–69

    Google Scholar 

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

    Google Scholar 

  6. H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: From Graph Grammars to High-Level Replacement Systems, Proc. 4th Int. Workshop on Graph Grammars and Application to Computer Science, Springer LNCS 532 (1991) pp. 269–291

    Google Scholar 

  7. H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Parallelism and Concurrency in High-Level-Replacement Systems, Math. Struct. in Comp. Science (1991) vol 1, pp.361–404

    Google Scholar 

  8. H.Ehrig, H.-J.Kreowski, G.Rozenberg (eds.): Proc. 4th Int. Workshop on Graph Grammars and Their Applications to Computer Science, Lecture Notes in Computer Science 532 (1991)

    Google Scholar 

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

    Google Scholar 

  10. H.Ehrig, M.Nagl, G.Rozenberg, A.Rosenfeld (eds.): Proc. 3rd Int. Workshop on Graph Grammars and Their Applications to Computer Science, Lecture Notes in Computer Science 291 (1987)

    Google Scholar 

  11. H. Ehrig, F. Parisi-Presicce: Algebraic Specification Grammars: A Junction Between Module Specifications and Graph Grammars, Proc. 4th Int. Workshop on Graph Grammars and Application to Computer Science, Springer LNCS 532 (1991)pp. 292–310

    Google Scholar 

  12. H. Ehrig, F. Parisi-Presicce: A Match Operation for Rule Based Modular System Design, 7th ADT Workshop, Wusterhausen 1990, Springer LNCS 534 (1991)pp.74–97

    Google Scholar 

  13. H. Ehrig, F. Parisi-Presicce: Nonequivalence of Categories for Equational Algebraic Specifications in view of High-Level-Replacement Systems, Tech.Univ.Berlin technical report 91/16, September 1991

    Google Scholar 

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

    Google Scholar 

  15. F. Parisi-Presicce: A Rule-Based Approach to Modular System Design, Proc. 12th Int. Conf., Soft. Eng., Nice (France) 1990, pp.202–211

    Google Scholar 

  16. F. Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems, TCS 83, No. 1 (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Technische Universität Berlin, D-1000, Berlin 10, Germany

    H. Ehrig

  2. Dipartimento di Matematica Pura ed Applicata, Università de L'Aquila, I-67010, Coppito, AQ, Italy

    F. Parisi-Presicce

Authors
  1. H. Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Parisi-Presicce
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hélène Kirchner Giorgio Levi

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrig, H., Parisi-Presicce, F. (1992). High-level-replacement systems for equational algebraic specifications. In: Kirchner, H., Levi, G. (eds) Algebraic and Logic Programming. ALP 1992. Lecture Notes in Computer Science, vol 632. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013816

Download citation

  • DOI: https://doi.org/10.1007/BFb0013816

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55873-6

  • Online ISBN: 978-3-540-47302-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation