book chapter
Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach
Hartmut
Ehrig
author
Reiko
Heckel
author
Martin
Korff
author
Michael
Löwe
author
Leila
Ribeiro
author
Annika
Wagner
author
Andrea
Corradini
author
66
department
The algebraic approaches to graph transformation are based on the concept of gluing of graphs corresponding to pushouts in suitable categories of graphs and graph morphisms. This allows one to give not only an explicit algebraic or set theoretical description of the constructions but also to use concepts and results from category theory in order to build up a rich theory and to give elegant proofs even in complex situations. In the previous chapter we have presented an overview of the basic notions and problems common to the two algebraic approaches the double pushout DPO approach and the single pushout SPO approach and their solutions in the DPO approach. In this chapter we introduce the SPO approach to graph transformation and some of its main results. We study application conditions for graph productions and the transformation of more general structures than graphs in the SPO approach where similar generalizations have been or could be studied also in the DPO approach. Finally we present a detailed comparison of the DPO and the SPO approach especially concerning the solutions to the problems discussed for both approaches in the previous chapter.
World Scientific1997
eng
Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations
247-312
H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 247–312.
Ehrig, Hartmut, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, and Andrea Corradini. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, 247–312. Singapore: World Scientific, 1997.
H. Ehrig <i>et al.</i>, “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach,” in <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, Singapore: World Scientific, 1997, pp. 247–312.
@inbook{Ehrig_Heckel_Korff_Löwe_Ribeiro_Wagner_Corradini_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, publisher={World Scientific}, author={Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and Löwe, Michael and Ribeiro, Leila and Wagner, Annika and Corradini, Andrea}, year={1997}, pages={247–312} }
Ehrig H, Heckel R, Korff M, et al. Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>. Singapore: World Scientific; 1997:247-312.
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., & Corradini, A. (1997). Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i> (pp. 247–312). Singapore: World Scientific.
Ehrig, Hartmut, et al. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, World Scientific, 1997, pp. 247–312.
75152019-02-04T22:41:33Z2019-02-04T22:42:11Z