Local search-based pattern matching features in EMF-INCQUERY

Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationGraph Transformation - 8th International Conference, ICGT 2015 Held as Part of STAF 2015, Proceedings
EditorsBernhard Westfechtel, Francesco Parisi-Presicce
PublisherSpringer Verlag
Pages275-282
Number of pages8
ISBN (Print)9783319211442
DOIs
Publication statusPublished - Jan 1 2015
Event8th International Conference on Graph Transformation, ICGT 2015 Held as Part of International Conference on Software Technologies: Applications and Foundations, STAF 2015 - LAquila, Italy
Duration: Jul 21 2015Jul 23 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9151
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other8th International Conference on Graph Transformation, ICGT 2015 Held as Part of International Conference on Software Technologies: Applications and Foundations, STAF 2015
CountryItaly
CityLAquila
Period7/21/157/23/15

    Fingerprint

Keywords

  • EMF-INCQUERY
  • Integrated development environment
  • Local search-based pattern matching

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Búr, M., Ujhelyi, Z., Horváth, Á., & Varró, D. (2015). Local search-based pattern matching features in EMF-INCQUERY. In B. Westfechtel, & F. Parisi-Presicce (Eds.), Graph Transformation - 8th International Conference, ICGT 2015 Held as Part of STAF 2015, Proceedings (pp. 275-282). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9151). Springer Verlag. https://doi.org/10.1007/978-3-319-21145-9_18