Electronic Communications of the EASST Volume 30 ( 2010 ) International Colloquium on Graph and Model Transformation On the occasion of the 65 th birthday of Hartmut Ehrig ( GraMoT 2010 ) Symbolic Attributed Graphs for Attributed Graph Transformation

In this paper we present a new approach to deal with attribute d graphs and attributed graph transformation. This approach is base d on working with what we call symbolic graphs, which are graphs labelled with vari ables together with a formula that constrains the possible values that we may assi gn to these variables. In particular, in this paper we will… (More)