Attributed Graph Transformations with Controlled Application of Rules
R. Heckel, J. Müller, G. Taentzer, A. Wagner, 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;
Müller, Jürgen;
Taentzer, Gabriele;
Wagner, Annika
Department
Abstract
We present a combination of recent extensions to single-pushout graph transformations, as there are attribution, application conditions and amalgamated graph transformations and add a simple transaction concept on top of this formalism. Thereby, we provide the formal basis for several examples, where these concepts are used in combination.
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, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations with Controlled Application of Rules. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
Heckel, R., Müller, J., Taentzer, G., & Wagner, A. (1995). Attributed Graph Transformations with Controlled Application of Rules. In Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears.
@inproceedings{Heckel_Müller_Taentzer_Wagner_1995, series={Technical Report}, title={Attributed Graph Transformations with Controlled Application of Rules}, 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 and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995}, collection={Technical Report} }
Heckel, Reiko, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. “Attributed Graph Transformations with Controlled Application of Rules.” In Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears, 1995.
R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
Heckel, Reiko, et al. “Attributed Graph Transformations with Controlled Application of Rules.” Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
Google Scholar