A graph query language for EMF models

Gábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró

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

50 Citations (Scopus)

Abstract

While model queries are important components in model-driven tool chains, they are still frequently implemented using traditional programming languages, despite the availability of model query languages due to performance and expressiveness issues. In the current paper, we propose EMF-IncQuery as a novel, graph-based query language for EMF models by adapting the query language of the Viatra2 model transformation framework to inherit its concise, declarative nature, but to properly tailor the new query language to the modeling specificities of EMF. The EMF-IncQuery language includes (i) structural restrictions for queries imposed by EMF models, (ii) syntactic sugar and notational shorthand in queries, (iii) true semantic extensions which introduce new query features, and (iv) a constraint-based static type checking method to detect violations of EMF-specific type inference rules.

Original languageEnglish
Title of host publicationTheory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings
Pages167-182
Number of pages16
DOIs
Publication statusPublished - Jul 18 2011
Event4th International Conference on Theory and Practice of Model Transformations, ICMT 2011 - Zurich, Switzerland
Duration: Jun 27 2011Jun 28 2011

Publication series

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

Other

Other4th International Conference on Theory and Practice of Model Transformations, ICMT 2011
CountrySwitzerland
CityZurich
Period6/27/116/28/11

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Bergmann, G., Ujhelyi, Z., Ráth, I., & Varró, D. (2011). A graph query language for EMF models. In Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings (pp. 167-182). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6707 LNCS). https://doi.org/10.1007/978-3-642-21732-6_12