conference paper
Embedding of Conditional Graph Transformations
Reiko
Heckel
author
66
department
Single pushout graph transformations at injective matches are extended by negative application conditions. It is shown, how right-sided application conditions can be transformed into equivalent left-sided ones. Based on this result, conditional derived rules are introduced and a theorem, similiar to the double pushout embedding theorem is shown. Finally, three variants of contextual application conditions are discussed with respect to their expressive power and expected results.
Universitat de les Illes Balears1995
eng
Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science
B-19
Heckel, Reiko. “Embedding of Conditional Graph Transformations.” <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>, no. B-19, Universitat de les Illes Balears, 1995.
Heckel R. Embedding of Conditional Graph Transformations. In: <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears; 1995.
Heckel, Reiko. “Embedding of Conditional Graph Transformations.” In <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears, 1995.
@inproceedings{Heckel_1995, series={Technical Report}, title={Embedding of Conditional Graph Transformations}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko}, year={1995}, collection={Technical Report} }
R. Heckel, “Embedding of Conditional Graph Transformations,” in <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>, 1995, no. B-19.
R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
Heckel, R. (1995). Embedding of Conditional Graph Transformations. In <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>. Universitat de les Illes Balears.
78332019-02-20T14:01:39Z2019-02-20T14:01:57Z