… analyses, e.g. based on control flow, require graph-like structures, the use of this formalism is a natural way of expressing them by graph rewriting. … generalization allowing the representation of term-graphs over an algebraic …
ENTCS, 203(1):3-17, 2008. [doi]… Graph rewrite systems are often build to only transform graphs … of the advanced techniques in graph rewriting on graphs or models that are not expressed … approach to model migration for graph rewrite systems, that is, adaptation of graphs …
In Proceedings of the Fujaba Days 2007 co-located with the 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007). 2007:… This paper presents a formal approach for managing unanticipated software evolution. Labelled typed nested graphs are used to represent arbitrarily complex software artifacts, and conditional graph rewriting is used for managing evolution …
agtive 2000: 127-143 [doi]… . This merge protocol is given first as state machine and second as a set of graph rewrite … graph for all system configurations generated by the graph rewrite rules. Using … syntax and use a special generator to derive the corresponding graph rewrite rules …
TTC 2010:… The challenge of the Model Migration Case [1] is to migrate an activity diagram from UML 1.4 to UML 2.2. We employ the general purpose graph rewrite system GrGen.NET to tackle this task …
TTC 2010: