Incremental evaluation of model queries over EMF models

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, András Ökrös

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

67 Citations (Scopus)

Abstract

Model-driven development tools built on industry standard platforms, such as the EclipseModeling Framework (EMF), heavily utilize model queries in model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applications, they have a significant impact on runtime performance and end user experience. However, due to their complexity, these queries can be time consuming to implement and optimize on a case-by-case basis. Consequently, there is a need for a model query framework that combines an easy-to-use and concise declarative query formalism with high runtime performance. In this paper, we propose a declarative EMF model query framework using the graph pattern formalism as the query specification language. These graph patterns describe the arrangement and properties of model elements that correspond to, e.g. a well-formedness constraint, or an application context of a model transformation rule. For improved runtime performance, we employ incremental pattern matching techniques: matches of patterns are stored and incrementally maintained upon model manipulation. As a result, query operations can be executed instantly, independently of the complexity of the constraint and the size of the model. We demonstrate our approach in an industrial (AUTOSAR) model validation context and compare it against other solutions.

Original languageEnglish
Title of host publicationModel Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings
Pages76-90
Number of pages15
EditionPART 1
DOIs
Publication statusPublished - Nov 22 2010
Event13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010 - Oslo, Norway
Duration: Oct 3 2010Oct 8 2010

Publication series

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

Other

Other13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010
CountryNorway
CityOslo
Period10/3/1010/8/10

Keywords

  • EMF
  • incremental pattern matching
  • model query
  • model validation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Incremental evaluation of model queries over EMF models'. Together they form a unique fingerprint.

  • Cite this

    Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., & Ökrös, A. (2010). Incremental evaluation of model queries over EMF models. In Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings (PART 1 ed., pp. 76-90). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6394 LNCS, No. PART 1). https://doi.org/10.1007/978-3-642-16145-2_6