Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science, An EATCS Series. Springer, Berlin (2005)
Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive High-Level Replacement Categories and Systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 144–160. Springer, Heidelberg (2004)
Ermel, C., Ehrig, H.: Behavior-preserving simulation-to-animation model and rule transformations. Electr. Notes Theor. Comput. Sci. 213(1), 55–74 (2008)
Löwe, M.: Algebraic approach to single-pushout graph transformation. Theoret. Comput. Sci. 109(1–2), 181–224 (1993)
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
Machado, R., Ribeiro, L., Heckel, R.: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. Theoretical Computer Science (2015, to appear)
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 1994
Rensink, A.: The GROOVE simulator: a tool for state space generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004)
Schürr, A., Klar, F.: 15 years of triple graph grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Graph Transformations. Lecture Notes in Computer Science, vol. 5214, pp. 411–425. Springer, Berlin (2008)
Taentzer, G.: AGG: a tool environment for algebraic graph transformation. In: Münch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 481–488. Springer, Heidelberg (2000)
Taentzer, G., Mantz, F., Lamo, Y.: Co-transformation of graphs and type graphs with application to model co-evolution. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 326–340. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Machado, R., Ribeiro, L., Heckel, R. (2015). Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. In: Parisi-Presicce, F., Westfechtel, B. (eds) Graph Transformation. ICGT 2015. Lecture Notes in Computer Science(), vol 9151. Springer, Cham. https://doi.org/10.1007/978-3-319-21145-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-21145-9_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21144-2
Online ISBN: 978-3-319-21145-9
eBook Packages: Computer ScienceComputer Science (R0)