Abstract
The gluing construction on which the algebraic notion of a derivation is based operationally provides a simple and intuitive understanding of graph rewriting. Inheriting the powerful toolbox of category theory, its abstract version as a (single resp. double) pushout leads to highly compact and elegant proofs especially for the basic constructions of sequential and parallel independent derivations as well as for concurrent and amalgamated productions respectively.
Preview
Unable to display preview. Download preview PDF.
References
P. Boehm, H.-R. Fonio, A. Habel:: “Amalgamation of Graph Transformations: A Synchronization Mechanism,” Journal of Computer and System Sciences 34 (1987), p. 377–408
H. Ehrig, M. Pfender, H.J. Schneider:: “Graph Grammars: An Algebraic Approach,” Proc. IEEE Conf. SWAT'73, Iowa City 1973, p. 167–180
H. Ehrig:: “Introduction to the Algebraic Theory of Graph Grammars,” LNCS 73 (1979), p. 1–69
H. Ehrig, H.-J. Kreowski, A. Maggiolo-Schettini, B. Rosen, J. Winkowski:: “Transformation of Structures: An Algebraic Approach,” Math. Syst. Theory 14 (1981), p. 305–334
R. Kennaway:: “On “On Graph Rewriting,” Theoretical Computer Science 52 (1987), p. 37–58
H.-J. Kreowski:: “Manipulation von Graphmanipulationen,” Ph.D. Thesis, TU Berlin 1977
M. Löwe:: “Algebraic Approach to Graph Transformation Based on Single Pushout Derivations,” Technical Report TU Berlin No 90-5, 1990 (short version to appear in Proc. of WG'90)
J.L. Raoult:: “On Graph Rewriting” Theoretical Computer Science 32 (1984), p. 1–24
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Korff, M., Löwe, M. (1991). Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. In: Ehrig, H., Kreowski, HJ., Rozenberg, G. (eds) Graph Grammars and Their Application to Computer Science. Graph Grammars 1990. Lecture Notes in Computer Science, vol 532. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017375
Download citation
DOI: https://doi.org/10.1007/BFb0017375
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54478-4
Online ISBN: 978-3-540-38395-6
eBook Packages: Springer Book Archive