374 search results - page 7 / 75 » Towards Translating Graph Transformation Approaches by Model... |
72
Voted
GG
2004
Springer
15 years 2 months ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
80
Voted
ENTCS
2006
14 years 9 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
STTT
2010
14 years 8 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
ENTCS
2008
14 years 9 months ago
2008
We describe a method for proving the termination of graph transformation systems. The method is based on the fact that infinite reductions must include infinite `creation chains&#...
52
Voted
SAC
2009
ACM
15 years 4 months ago
2009
ACM
