Embedding of Conditional Graph Transformations
R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Heckel, Reiko
Department
Abstract
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.
Publishing Year
Proceedings Title
Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science
forms.conference.field.series_title_volume.label
Technical Report
Issue
B-19
LibreCat-ID
Cite this
Heckel R. Embedding of Conditional Graph Transformations. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
Heckel, R. (1995). Embedding of Conditional Graph Transformations. In Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears.
@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} }
Heckel, Reiko. “Embedding of Conditional Graph Transformations.” In Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears, 1995.
R. Heckel, “Embedding of Conditional Graph Transformations,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
Heckel, Reiko. “Embedding of Conditional Graph Transformations.” Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
Google Scholar