Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems
Systems and models usually evolve with time, triggering the question of how the introduced modifications impact their original behavior. For rule-based models such as graph transformation systems, model evolution may be represented by means of a collection of structural modifications in individual transformation rules. In this work we introduce the notion of inter-level conflict between rule modification and rule application, characterizing the situations where the evolution disables a transition of the original system. We discuss the confluence of the evolution with respect to individual rewritings, and we also propose how the notion of inter-level conflict can be used to help the modeler to foresee the effects of model evolution.
- 1.Ehrig, H., Ehrig, K., Ermel, C.: Refactoring of model transformations. Electron Commun. EASST 18 (2009). http://dblp.uni-trier.de/rec/bib/journals/eceasst/EhrigEE09
- 2.Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science, An EATCS Series. Springer, Berlin (2005)Google Scholar
- 6.Machado, R.: Higher-order graph rewriting systems. Ph.D. thesis, Instituto de Informatica - Universidade Federal do Rio Grande do Sul (2012). http://hdl.handle.net/10183/54887
- 7.Machado, R., Ribeiro, L., Heckel, R.: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. Theoretical Computer Science (2015, to appear)Google Scholar
- 8.Parisi-Presicce, F.: Transformations of graph grammars. In: Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, Selected Papers, pp. 428–442, 13–18 November 1994Google Scholar