by Fernando Orejas, Leen Lambers
Abstract:
In this paper we present a new approach to deal with attributed graphs and attributed graph transformation. This approach is based on working with what we call symbolic graphs, which are graphs labelled with variables together with a formula that constrains the possible values that we may assign to these variables. In particular, in this paper we will compare in detail this new approach with the standard approach to attributed graph transformation.
Reference:
Symbolic Attributed Graphs for Attributed Graph Transformation (Fernando Orejas, Leen Lambers), Chapter in Graph and Model Transformation 2010, EC-EASST, volume 30, 2010.
Bibtex Entry:
@InCollection{OL10,
AUTHOR = {Orejas, Fernando and Lambers, Leen},
TITLE = {{Symbolic Attributed Graphs for Attributed Graph Transformation}},
YEAR = {2010},
BOOKTITLE = {Graph and Model Transformation 2010},
VOLUME = {30},
PUBLISHER = {EC-EASST},
URL = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/viewFile/405/410},
PDF = {uploads/pdf/OL10.pdf},
OPTacc_pdf = {},
ABSTRACT = {In this paper we present a new approach to deal with attributed graphs and attributed graph transformation. This approach is based on working with what we call symbolic graphs, which are graphs labelled with variables together with a formula that constrains the possible values that we may assign to these variables. In particular, in this paper we will compare in detail this new approach with the standard approach to attributed graph transformation. }
}