Advertisement

High-level-replacement systems for equational algebraic specifications

  • H. Ehrig
  • F. Parisi-Presicce
Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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–1058Google Scholar
  2. [2]
    A.Corradini, U.Montanari, F.Rossi, H.Ehrig, M.Lowe: Graph Grammars and Logic Programming, in [8] pp.221–237Google Scholar
  3. [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–295Google Scholar
  4. [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–69Google Scholar
  5. [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, 1991Google Scholar
  6. [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–291Google Scholar
  7. [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–404Google Scholar
  8. [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. [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. [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. [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–310Google Scholar
  12. [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–97Google Scholar
  13. [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 1991Google Scholar
  14. [14]
    H. Ehrig; Pepper, P.; Orejas, F.: On Recent Trends in Algebraic Specification, Proc. ICALP'89, Springer LNCS 372 (1989), pp. 263–288Google Scholar
  15. [15]
    F. Parisi-Presicce: A Rule-Based Approach to Modular System Design, Proc. 12th Int. Conf., Soft. Eng., Nice (France) 1990, pp.202–211Google Scholar
  16. [16]
    F. Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems, TCS 83, No. 1 (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • H. Ehrig
    • 1
  • F. Parisi-Presicce
    • 2
  1. 1.Fachbereich InformatikTechnische Universität BerlinBerlin 10Germany
  2. 2.Dipartimento di Matematica Pura ed ApplicataUniversità de L'AquilaCoppitoItaly

Personalised recommendations