Live Model Transformations Driven by Incremental Pattern Matching

  • István Ráth
  • Gábor Bergmann
  • András Ökrös
  • Dániel Varró
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5063)

Abstract

In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context such that model changes to source inputs can be readily identified, and their effects can be incrementally propagated. Our framework builds upon an incremental pattern matcher engine, which keeps track of matches of complex contextual constraints captured in the form of graph patterns. As a result, complex model changes can be treated as elementary change events. Reactions to the changes of match sets are specified by graph transformation rules with a novel transactional execution semantics incorporating both pseudo-parallel and serializable behaviour.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–645 (2006)CrossRefGoogle Scholar
  2. 2.
    Hearnden, D., Lawley, M., Raymond, K.: Incremental Model Transformation for the Evolution of Model-Driven Systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 321–335. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)Google Scholar
  4. 4.
    Xiong, Y., et al.: Towards automatic model synchronization from model transformations. In: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, pp. 164–173. ACM, New York (2007)Google Scholar
  5. 5.
    Schürr, A.: Introduction to PROGRES, an attributed graph grammar based specification language. In: Nagl, M. (ed.) WG 1989. LNCS, vol. 411, pp. 151–165. Springer, Berlin (1990)Google Scholar
  6. 6.
    Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543–557. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Schürr, A.: Specification of graph translators with triple graph grammars. Technical report, RWTH Aachen, Fachgruppe Informatik, Germany (1994)Google Scholar
  8. 8.
    Klar, F., et al.: Model transformation in the large. In: Proc. of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium On The Foundations of Software engineering, pp. 285–294. ACM, New York (2007)CrossRefGoogle Scholar
  9. 9.
    Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: ACM SIGMOD Proceedings, Washington, D.C., USA, pp. 157–166 (1993)Google Scholar
  10. 10.
    Varró, G., Varró, D.: Graph transformation with incremental updates. In: Proc. of the 4th Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, Spain. ENTCS, vol. 109, pp. 71–83. Elsevier, Amsterdam (2004)Google Scholar
  11. 11.
    Varró, G., Friedl, K., Varró, D.: Graph transformation in relational databases. Journal of Software and Systems Modelling 5(3), 313–341 (2006)CrossRefGoogle Scholar
  12. 12.
    Jakob, J., Schürr, A.K., Non-materialized, A.: model view specification with triple graph grammars. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 321–335. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Guerra, E., de Lara, J.: Event-driven grammars: Relating abstract and concrete levels of visual languages. Software and Systems Modeling 6(3), 317–347 (2007)CrossRefGoogle Scholar
  14. 14.
    de Lara, J., Vangheluwe, H.: AToM3: A tool for multi-formalism and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)Google Scholar
  15. 15.
    Becker, S.M., Thomas Haase, B.W.: Model-based a-posteriori integration of engineering tools for incremental development processes. Software and Systems Modeling 4(2), 123–140 (2005)CrossRefGoogle Scholar
  16. 16.
    The University of Queensland: TefKat homepage, http://tefkat.sourceforge.net/
  17. 17.
    Egyed, A.: Instant consistency checking for the UML. In: Proc. of the 28th International Conference on Software Engineering, pp. 381–390. ACM, New York (2006)Google Scholar
  18. 18.
    Varró, D., Pataricza, A.: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling 2(3), 187–210 (2003)CrossRefGoogle Scholar
  19. 19.
    Börger, E., Stärk, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)Google Scholar
  20. 20.
    Forgy, C.L.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19(1), 17–37 (1982)CrossRefGoogle Scholar
  21. 21.
    Bergmann, G., Ökrös, A., Ráth, I., Varró, D., Varró, G.: Incremental pattern matching in the VIATRA transformation system. In: 3rd International Workshop on Graph and Model Transformation. 30th International Conference on Software Engineering (accepted, 2008)Google Scholar
  22. 22.
    Bunke, H., Glauser, T., Tran, T.H.: An efficient implementation of graph grammars based on the RETE matching algorithm. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol. 532, pp. 174–189. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  23. 23.
    Varró, G., Varró, D., Schürr, A.: Incremental graph pattern matching: Data structures and initial experiments. In: Graph and Model Transformation (GraMoT 2006). Electronic Communications of the EASST, vol. 4 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • István Ráth
    • 1
  • Gábor Bergmann
    • 1
  • András Ökrös
    • 1
  • Dániel Varró
    • 1
  1. 1.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapestHungary

Personalised recommendations