EMF-IncQuery: An integrated development environment for live model queries

Zoltán Ujhelyi, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Benedek Izsó, István Ráth, Zoltán Szatmári, Dániel Varró

Research output: Contribution to journalArticle

80 Citations (Scopus)


As model management platforms are gaining industrial attention, the importance of automated model querying techniques is also increasing. Several important engineering tasks supported by model-based tools - such as well-formedness constraint validation or model transformations - rely on efficiently evaluating model queries. If the models change rapidly or frequently, it is beneficial to provide live and incrementally evaluated queries that automatically propagate model changes to keep query results consistent. The current paper reports on the of EMF-IncQuery framework focusing on new features of its integrated development environment (such as query validation and visualization) and its support for integrating queries to existing applications (e.g. by auto-generated data bindings) built on top of the industry standard Eclipse Modeling Framework (EMF). Our approach is illustrated on a case study integrating well-formedness constraints to the Papyrus UML tool by live model queries of EMF-IncQuery with negligible additional manual programming effort.

Original languageEnglish
Pages (from-to)80-99
Number of pages20
JournalScience of Computer Programming
Issue numberP1
Publication statusPublished - Feb 1 2015


  • EMF
  • Integrated development environment
  • Live model query

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'EMF-IncQuery: An integrated development environment for live model queries'. Together they form a unique fingerprint.

  • Cite this

    Ujhelyi, Z., Bergmann, G., Hegedüs, Á., Horváth, Á., Izsó, B., Ráth, I., Szatmári, Z., & Varró, D. (2015). EMF-IncQuery: An integrated development environment for live model queries. Science of Computer Programming, 98(P1), 80-99. https://doi.org/10.1016/j.scico.2014.01.004