Symbolic Attributed Graphs for Attributed Graph Transformation
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.
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.30.405
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.30.405.410
Hosted By Universitätsbibliothek TU Berlin.