Derived features for EMF by integrating advanced model queries

Authors:
István Ráth;Ábel Hegedüs;Dániel Varró
Affiliations:
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Venue:
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Year:
2012

Citing 13
Cited 1

The FUJABA environment

Proceedings of the 22nd international conference on Software engineering
Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language

WG '89 Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science
The model transformation language of the VIATRA2 framework

Science of Computer Programming
Live Model Transformations Driven by Incremental Pattern Matching

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Precise Semantics of EMF Model Transformations by Graph Transformation

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Metamodeling for Method Engineering

Metamodeling for Method Engineering
Incremental integrity checking of UML/OCL conceptual schemas

Journal of Systems and Software
Incremental evaluation of model queries over EMF models

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Model synchronization: mappings, tiles, and categories

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Reference attribute grammars for metamodel semantics

SLE'10 Proceedings of the Third international conference on Software language engineering
A graph query language for EMF models

ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Incremental consistency checking of dynamic constraints

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Integrating efficient model queries in state-of-the-art EMF tools

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns

Query-driven soft interconnection of EMF models

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

When designing complex domain-specific languages, metamodels are frequently enriched with derived features that correspond to attribute values or references (edges) representing computed information in the model. In the popular Eclipse Modeling Framework, these are typically implemented as imperative Java code. In the paper, we propose to integrate the EMF-IncQuery model query framework to the Ecore metamodeling infrastructure in order to facilitate the efficient and automated (re-)computation of derived attributes and references over EMF models. Such an integration allows to define derived features using an expressive graph-based model query language [1], and offers high performance and scalability thanks to the incremental evaluation technique of EMF-IncQuery [2]. In addition, our approach offers to automate two typical associated challenges of EMF tools: (1) values of derived features are immediately recalculated upon model changes and (2) notifications are sent automatically to other EMF model elements to report changes in derived features.