Symbolic Attributed Graphs for Attributed Graph Transformation
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.
Topics & Concepts
Computer scienceTransformation (genetics)Graph rewritingGraphTheoretical computer scienceGeneBiochemistryChemistryModel-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesManufacturing Process and Optimization