Skip to main content
SpringerLink
Log in

Experimental assessment of combining pattern matching strategies with VIATRA2

  • GraBaTs 2008
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

As recent tool contests demonstrated graph transformation tools scale up to handle very large models for model transformations, thanks to recent advances in graph pattern matching techniques. In this paper, we assess the performance and capabilities of the Viatra2 model transformation framework by implementing the AntWorld case study of the GraBats 2008 graph transformation tool contest. First, we extend initial measurements carried out in Bergmann et al. (Proceedings of ICMT ’09, 2nd International Conference on Model Transformation, Springer, Berlin, 2009) to assess the effects of combining local search-based and incremental pattern matching strategies. Moreover, we also assess the performance characteristics of various language features of Viatra2 as well as the cost of certain model manipulation operations. We observe by experimentation how Viatra2 can scale up to large iteratively growing model sizes and focus on execution time and memory consumption. We believe that the results obtained from the benchmark example can set the course for further performance enhancement of Viatra2 and other future model transformation frameworks.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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)

    Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  18. Börger E., Stärk R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Berlin (2003)

    MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

Download references

Author information

Authors and Affiliations

  1. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2, Budapest, 1117, Hungary

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

Authors
  1. Ákos Horváth
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gábor Bergmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. István Ráth
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dániel Varró
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ákos Horváth.

Additional information

This work was partially supported by EU projects SENSORIA (IST-3-016004) and SecureChange (ICT-FET-231101).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Horváth, Á., Bergmann, G., Ráth, I. et al. Experimental assessment of combining pattern matching strategies with VIATRA2. Int J Softw Tools Technol Transfer 12, 211–230 (2010). https://doi.org/10.1007/s10009-010-0149-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-010-0149-7

Keywords

Search

Navigation