Incremental evaluation of model queries over EMF models: A tutorial on EMF-IncQuery

Gábor Bergmann, Ákos Horváth, István Ráth, D. Varró

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

4 Citations (Scopus)

Abstract

Model driven development platforms such as the industry leader Eclipse Modeling Framework (EMF) greatly benefit from pattern matching, as it supports various usecases including model validation, model transformation, code generation and domain specific behaviour simulation. Pattern matching is a search for model elements conforming to a given pattern that describes their arrangement and properties, e.g. finding a violation of a complex well-formedness constraint of a domain specific modeling language.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages389-390
Number of pages2
Volume6698 LNCS
DOIs
Publication statusPublished - 2011
Event7th European Conference on Modelling Foundations and Applications, ECMFA 2011 - Birmingham, United Kingdom
Duration: Jun 6 2011Jun 9 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6698 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other7th European Conference on Modelling Foundations and Applications, ECMFA 2011
CountryUnited Kingdom
CityBirmingham
Period6/6/116/9/11

Fingerprint

Pattern Matching
Query
Domain-specific Languages
Code Generation
Pattern matching
Model Validation
Model Transformation
Evaluation
Modeling Language
Use Case
Modeling
Arrangement
Industry
Model
Simulation
Framework

Keywords

  • EMF
  • incremental pattern matching
  • model query

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Bergmann, G., Horváth, Á., Ráth, I., & Varró, D. (2011). Incremental evaluation of model queries over EMF models: A tutorial on EMF-IncQuery. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6698 LNCS, pp. 389-390). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6698 LNCS). https://doi.org/10.1007/978-3-642-21470-7_32

Incremental evaluation of model queries over EMF models : A tutorial on EMF-IncQuery. / Bergmann, Gábor; Horváth, Ákos; Ráth, István; Varró, D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6698 LNCS 2011. p. 389-390 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6698 LNCS).

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

Bergmann, G, Horváth, Á, Ráth, I & Varró, D 2011, Incremental evaluation of model queries over EMF models: A tutorial on EMF-IncQuery. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 6698 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6698 LNCS, pp. 389-390, 7th European Conference on Modelling Foundations and Applications, ECMFA 2011, Birmingham, United Kingdom, 6/6/11. https://doi.org/10.1007/978-3-642-21470-7_32
Bergmann G, Horváth Á, Ráth I, Varró D. Incremental evaluation of model queries over EMF models: A tutorial on EMF-IncQuery. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6698 LNCS. 2011. p. 389-390. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-21470-7_32
Bergmann, Gábor ; Horváth, Ákos ; Ráth, István ; Varró, D. / Incremental evaluation of model queries over EMF models : A tutorial on EMF-IncQuery. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6698 LNCS 2011. pp. 389-390 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{94b2311f1e41407e8b532c90681bc55e,
title = "Incremental evaluation of model queries over EMF models: A tutorial on EMF-IncQuery",
abstract = "Model driven development platforms such as the industry leader Eclipse Modeling Framework (EMF) greatly benefit from pattern matching, as it supports various usecases including model validation, model transformation, code generation and domain specific behaviour simulation. Pattern matching is a search for model elements conforming to a given pattern that describes their arrangement and properties, e.g. finding a violation of a complex well-formedness constraint of a domain specific modeling language.",
keywords = "EMF, incremental pattern matching, model query",
author = "G{\'a}bor Bergmann and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and D. Varr{\'o}",
year = "2011",
doi = "10.1007/978-3-642-21470-7_32",
language = "English",
isbn = "9783642214691",
volume = "6698 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "389--390",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Incremental evaluation of model queries over EMF models

T2 - A tutorial on EMF-IncQuery

AU - Bergmann, Gábor

AU - Horváth, Ákos

AU - Ráth, István

AU - Varró, D.

PY - 2011

Y1 - 2011

N2 - Model driven development platforms such as the industry leader Eclipse Modeling Framework (EMF) greatly benefit from pattern matching, as it supports various usecases including model validation, model transformation, code generation and domain specific behaviour simulation. Pattern matching is a search for model elements conforming to a given pattern that describes their arrangement and properties, e.g. finding a violation of a complex well-formedness constraint of a domain specific modeling language.

AB - Model driven development platforms such as the industry leader Eclipse Modeling Framework (EMF) greatly benefit from pattern matching, as it supports various usecases including model validation, model transformation, code generation and domain specific behaviour simulation. Pattern matching is a search for model elements conforming to a given pattern that describes their arrangement and properties, e.g. finding a violation of a complex well-formedness constraint of a domain specific modeling language.

KW - EMF

KW - incremental pattern matching

KW - model query

UR - http://www.scopus.com/inward/record.url?scp=79959209275&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79959209275&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-21470-7_32

DO - 10.1007/978-3-642-21470-7_32

M3 - Conference contribution

AN - SCOPUS:79959209275

SN - 9783642214691

VL - 6698 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 389

EP - 390

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -