Advertisement

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems

  • Rodrigo MachadoEmail author
  • Leila Ribeiro
  • Reiko Heckel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9151)

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.

References

  1. 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. 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
  3. 3.
    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) CrossRefGoogle Scholar
  4. 4.
    Ermel, C., Ehrig, H.: Behavior-preserving simulation-to-animation model and rule transformations. Electr. Notes Theor. Comput. Sci. 213(1), 55–74 (2008)CrossRefGoogle Scholar
  5. 5.
    Löwe, M.: Algebraic approach to single-pushout graph transformation. Theoret. Comput. Sci. 109(1–2), 181–224 (1993)MathSciNetCrossRefGoogle Scholar
  6. 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. 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. 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
  9. 9.
    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) CrossRefGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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) CrossRefGoogle Scholar
  12. 12.
    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) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Rodrigo Machado
    • 1
    • 2
    Email author
  • Leila Ribeiro
    • 1
    • 2
  • Reiko Heckel
    • 1
    • 2
  1. 1.Universidade Federal Do Rio Grande Do Sul (UFRGS)Porto AlegreBrazil
  2. 2.University of LeicesterLeicesterUK

Personalised recommendations