Schneider HJ (2005)
Publication Language: English
Publication Type: Book chapter / Article in edited volumes
Publication year: 2005
Publisher: Springer-verlag
Edited Volumes: Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig
City/Town: Berlin Heidelberg
Pages Range: 134-149
ISBN: 3-540-24936-2
URI: http://www2.informatik.uni-erlangen.de/publication/download/hebook.pdf
DOI: 10.1007/978-3-540-31847-7_8
In the double-pushout approach to graph transformations, most authors assume the left-hand side to be injective, since the noninjective case leads to ambiguous results. Taking into consideration productions that change labels, however, may add ambiguity even in the case of injective graph productions. A well-known solution to this problem is restricting the categorical treatment to the underlying graphs, whereas the labels on the derived graph are defined by other means. In this paper, we resume the detailed results on arbitrary left-hand sides that Ehrig and Kreowski have already given in 1976. We apply these results to the case of relabeling such that we can retain the elegant categorical constructions at the level of labeled graphs. © Springer-Verlag Berlin Heidelberg 2005.
APA:
Schneider, H.J. (2005). Changing Labels in the Double-Pushout Approach Can Be Treated Categorically. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.), Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig. (pp. 134-149). Berlin Heidelberg: Springer-verlag.
MLA:
Schneider, Hans Jürgen. "Changing Labels in the Double-Pushout Approach Can Be Treated Categorically." Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig. Ed. Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, Berlin Heidelberg: Springer-verlag, 2005. 134-149.
BibTeX: Download