Local Search-Based Pattern Matching Features in EMF-IncQuery

  • Márton Búr
  • Zoltán UjhelyiEmail author
  • Ákos Horváth
  • Dániel Varró
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9151)


Graph patterns provide a declarative formalism to describe model queries used for several important engineering tasks, such as well-formedness constraint validation or model transformations. As different pattern matching approaches, such as local search or incremental evaluation, have different performance characteristics (smaller memory footprint vs. smaller runtime), a wider range of practical problems can be addressed. The current paper reports on a novel feature of the EMF-IncQuery framework supporting local search-based pattern matching strategy to complement the existing incremental pattern matching capabilities. The reuse of the existing pattern language and query development environment of EMF-IncQuery enables to select the most appropriate strategy separately for each pattern without any modifications to the definitions of existing patterns. Furthermore, a graphical debugger component is introduced that visualizes the execution of the search process, helping to understand how complex patterns behave. This tool paper presents the new pattern matching feature from an end users viewpoint while the scientific details of the pattern matching strategy itself are omitted. The approach is illustrated on a case study of automated identification of anti-patterns over program models created from Java source code.


Local search-based pattern matching EMF-IncQuery Integrated development environment 


  1. 1.
    Ujhelyi, Z., Szõke, G., Ákos Horvth, Csiszár, N.I., Vidács, L., Varró, D., Ferenc, R.: Performance comparison of query-based techniques for anti-pattern detection. Information and Software Technology (0) (2015) - AcceptedGoogle Scholar
  2. 2.
    Ujhelyi, Z., Bergmann, G., Hegeds, Á., Horváth, Á., Izsó, B., Ráth, I., Szatmári, Z., Varró, D.: EMF-Incquery: an integrated development environment for live model queries. Sci. Comput. Program. 98(1), 80–99 (2015)CrossRefGoogle Scholar
  3. 3.
    Nickel, U., Niere, J., Zündorf, A.: Tool demonstration: The FUJABA environment. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pp. 742–745. ACM Press, Limerick, Ireland (2000)Google Scholar
  4. 4.
    Geiß, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.: GrGen: a fast spo-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 383–397. Springer, Heidelberg (2006) CrossRefGoogle Scholar
  5. 5.
    Varró, G., Deckwerth, F., Wieber, M., Schürr, A.: An algorithm for generating model-sensitive search plans for emf models. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 224–239. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  6. 6.
  7. 7.
    Seifert, M., Katscher, S.: Debugging triple graph grammar-based model transformations. In: Fujaba Days, pp. 19–25 (2008)Google Scholar
  8. 8.
    Horn, T.: Model querying with funnyQT. In: Duddy, K., Kappel, G. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 56–57. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  9. 9.
    Eclipse OCL Project: MDT-OCL website (2015).
  10. 10.
    IBM Software: InfoSphere Data Architect (2015).
  11. 11.
    Horváth, Á., Bergmann, G., Ráth, I., Varró, D.: Experimental assessment of combining pattern matching strategies with VIATRA2. Int. J. Softw. Tools Technol. Transfer 12(3–4), 211–230 (2010)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Márton Búr
    • 1
    • 2
  • Zoltán Ujhelyi
    • 1
    • 2
    Email author
  • Ákos Horváth
    • 1
    • 2
  • Dániel Varró
    • 1
  1. 1.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapest Hungary
  2. 2.IncQuery Labs Ltd.BudapestHungary

Personalised recommendations