Experimental assessment of combining pattern matching strategies with VIATRA2

International Journal on Software Tools for Technology Transfer

Volumn 12, Issue 3, 2010, Pages 211-230

  Horváth, Ákos ^a   Bergmann, Gábor ^a   Ráth, István ^a   Varró, Dániel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Graph pattern matching; Graph transformation; Model simulation; Performance analysis

Indexed keywords

EXECUTION TIME; EXPERIMENTAL ASSESSMENT; FUTURE MODELS; GRAPH PATTERN MATCHING; GRAPH TRANSFORMATION; LANGUAGE FEATURES; LOCAL SEARCH; MEMORY CONSUMPTION; MODEL SIZE; MODEL TRANSFORMATION; PERFORMANCE CHARACTERISTICS; PERFORMANCE ENHANCEMENTS; SCALE-UP;

GRAPH THEORY; PATTERN MATCHING;

COMPUTER SIMULATION;

EID: 77953961511     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-010-0149-7     Document Type: Article

References (29)

1. Bergmann, G., Horváth, A., Ráth, I., Varró, D.: Efficient model transformations by combining pattern matching strategies. In: Proceedings of ICMT '09, 2nd International Conference on Model Transformation, Springer, Berlin (2009).
2. 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 (1999).
3. The AGTIVE Tool Contest: official website (2007) http://www. informatik. uni-marburg. de/~swt/agtive-contest.
4. GraBaTs-Graph-Based Tools: The Contest: official website (2008) http://www. fots. ua. ac. be/events/grabats2008/.
5. Geiss, R., Batz, G. V., Grund, D., Hack, S., Szalkowski, A. M.: GrGen: a fast SPO-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) Graph Transformations-ICGT 2006. Lecture Notes in Computer Science, pp 383-397. Springer, Natal (2006).
6. Nickel, U., Niere, J., Zündorf, A.: Tool demonstration: the FUJABA environment. In: The 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland. ACM Press, New York (2000).
7. VIATRA-VIsual Automated model TRAnsformations: The Viatra2 Homepage http://www. eclipse. org/gmt/VIATRA2/.
8. Varró, G., Varró, D., Schürr, A.: Incremental graph pattern matching: data structures and initial experiments. In: Karsai, G., Taentzer, G. (eds) Graph and Model Transformation (GraMoT 2006). Electronic Communications of the EASST, vol. 4. EASST (2006).
9. Bergmann, G., Ökrös, A., Ráth, I., Varró, D., Varró, G.: Incremental pattern matching in the VIATRA transformation system. In: GRaMoT'08, 3rd International Workshop on Graph and Model Transformation, 30th International Conference on Software Engineering (2008).
10. Matzner, A., Minas M., Schulte, A.: Efficient graph matching with application to cognitive automation. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007), Springer, Berlin (2007).
11. 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. Lecture Notes in Computer Science, vol. 4199, pp. 321-335. Springer, Berlin (2006).
12. Mészáros, T., Madari, I., Mezei, G.: VMTS AntWorld submission. GraBaTs-4th International Workshop on Graph-Based Tools: The Contest (2008).
13. Bergmann, G., Horváth, A., Ráth, I., VarrÃ, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: ICGT2008, The 4th International Conference on Graph Transformation (2008).
14. Kovács, M., Lollini, P., Majzik, I., Bondavalli, A.: An integrated framework for the dependability evaluation of distributed mobile applications. In: Proceedings of International Workshop on Software Engineering for Resilient Systems (SERENE 2008), Newcastle upon Tyne, UK, November 17-19, pp. 29-38 (2008).
15. Zündorf, A.: Antworld benchmark specification, grabats 2008 (2008) http://is. tm. tue. nl/staff/pvgorp/events/grabats2009/cases/grabats2008performancecase. pdf.
16. Varró D., Balogh A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214-234 (2007).
17. Varró D., Pataricza A.: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. J. Softw. Syst. Model. 2(3), 187-210 (2003).
18. Börger E., Stärk R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Berlin (2003).
19. Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) Proceedings of 2nd International Conference on Graph Transformation (ICGT 2004), Rome, Italy. Lecture Notes on Computer Science, vol. 3256, pp. 319-335. Springer, Berlin (2004).
20. Dorigo M., Maniezzo V., Colorni A.: The ant system: optimization by a colony of cooperating agents. IEEE Trans. Syst. Man Cybern. B 26, 29-41 (1996).
21. Schürr, A., Winter, A. J., Zündorf, A.: The PROGRES approach: language and environment. In: [2, pp. 487-550]. World Scientific (1999).
22. ATLAS Group: The ATLAS Transformation Language. Available from http://www. eclipse. org/gmt.
23. Zündorf, A.: Graph Pattern Matching in PROGRES. In: Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, London, UK, pp. 454-468. Springer, Berlin (1996).
24. Horváth, A., Varró, G., Varró, D.: Generic search plans for matching advanced graph patterns. In: Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), Braga, Portugal (March 31-April 1), pp. 57-68. Electornic Communications of the EASST (2007).
25. Varró, G., Varró, D., Friedl, K.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. In: Karsai, G., Taentzer, G. (eds.) Proceedings of International Workshop on Graph and Model Transformation (GraMoT'05). ENTCS. Tallinn, Estonia, vol. 152, pp. 191-205. Elsevier, Amsterdam (2005).
26. Forgy C. L.: Rete: a fast algorithm for the many pattern/many object pattern match problem. Artif. Intell. 19(1), 17-37 (1982).
27. Knuth, D.: The Art of Computer Programming, 3rd edn, vol. 1, Section 1. 2. 11: Asymptotic Representations. Addison-Wesley, Reading (1997).
28. Luby M. G.: Pseudorandomness and Cryptographic Applications. Princeton University Press, Princeton (1994).
29. Batz, G. V., Kroll, M., Geiss, R.: A first experimental evaluation of search plan driven graph pattern matching. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) Proceedings of 3rd International Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07). LNCS, vol. 5088. Springer, Berlin (2008).