Live model transformations driven by incremental pattern matching

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5063 LNCS, Issue , 2008, Pages 107-121

  Ráth, István ^a   Bergmann, Gábor ^a   Ökrös, András ^a   Varró, Dániel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; PATTERN MATCHING;

COMPLEX MODELS; CONTEXTUAL CONSTRAINTS; GRAPH TRANSFORMATION RULES; INCREMENTAL; MODEL CHANGES; MODEL TRANSFORMATIONS; OF GRAPHS; TRANSACTIONAL EXECUTIONS;

GRAPH THEORY;

EID: 54249098638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69927-9_8     Document Type: Conference Paper

References (23)

1. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621-645 (2006)
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)
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)
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)
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)
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)
7. Schürr, A.: Specification of graph translators with triple graph grammars. Technical report, RWTH Aachen, Fachgruppe Informatik, Germany (1994)
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)
9. Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: ACM SIGMOD Proceedings, Washington, D.C., USA, pp. 157-166 (1993)
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)
11. Varro, G., Friedl, K., Varró, D.: Graph transformation in relational databases. Journal of Software and Systems Modelling 5(3), 313-341 (2006)
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)
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)
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 EASE 2002. LNCS, vol. 2306, pp. 174-188. Springer, Heidelberg (2002)
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)
16. The University of Queensland: TefKat homepage, http://tefkat.sourceforge. net/
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)
18. Varro, 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)
19. Borger, E., Stärk, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
20. Forgy, C.L.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19(1), 17-37 (1982)
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)
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)
23. Varro, 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)