Advertisement

Note on standard representation of graphs and graph derivations

  • A. Corradini
  • H. Ehrig
  • M. Löwe
  • U. Montanari
  • F. Rossi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 776)

Abstract

We show that a naive notion of abstract graph derivations, based on the idea that two derivations are equivalent iff they are isomorphic, does not allow to extend some relevant properties of concrete derivations to abstract ones. This is the main motivation for the introduction of standard representations of graphs, which are used to define a (more restricted) notion of equivalence among graph morphisms, direct derivations and graph derivations. The properties of the resulting category of abstract graphs are investigated in depth, and the relationship with skeleton subcategories of GRAPHS is worked out.

Keywords

Isomorphism Class Standard Representation Direct Derivation Graph Transformation Abstract Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AHS 90]
    J. Adamek, H. Herrlich, G. Strecker: Abstract and Concrete Categories, Wiley Interscience (1990)Google Scholar
  2. [CELMR 93]
    Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Rossi, F., Abstract Graph Derivations in the Double Pushout Approach, in this volume.Google Scholar
  3. [Ehr 79]
    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
  4. [EHKP 91]
    H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Parallelism and Concurrency in High-Level Replacement Systems, Math. Struct. in Comp. Sci. (1991), vol. 1, pp. 361–404Google Scholar
  5. [EPS 73]
    H. Ehrig, M. Pfender, H.J. Schneider: Graph Grammars: An Algebraic Approach, Proc. IEEE Conf. SWAT'73, Iowa City 1973, p. 167–180Google Scholar
  6. [Her 92]
    H. Herrlich, Private communication, December 1992.Google Scholar
  7. [ML 71]
    S. Mac Lane, Categories for the Working Mathematician, Springer Verlag, New York, 1971.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • A. Corradini
    • 1
  • H. Ehrig
    • 2
  • M. Löwe
    • 2
  • U. Montanari
    • 1
  • F. Rossi
    • 1
  1. 1.Dipartimento di InformaticaPisaItaly
  2. 2.Technische Universität BerlinBerlin 10Germany

Personalised recommendations