Security Engineering for Lifelong Evolvable Systems

Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery

TitleIncremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery
Publication TypeBook Chapter
Year of Publication2011
AuthorsBergmann, G., A. Horváth, I. Ráth, and D. Varró
Secondary AuthorsFrance, R., J. Kuester, B. Bordbar, and R. Paige
Book TitleModelling Foundations and Applications
Series TitleLecture Notes in Computer Science
Volume6698
Pagination389-390
PublisherSpringer Berlin / Heidelberg
ISBN Number978-3-642-21469-1
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.

URLhttp://dx.doi.org/10.1007/978-3-642-21470-7_32