Implementing efficient model validation in EMF tools

Authors:
Gabor Bergmann;Abel Hegedus;Akos Horvath;Istvan Rath;Zoltan Ujhelyi;Daniel Varro
Affiliations:
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Venue:
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Year:
2011

Citing 8
Cited 1

The model transformation language of the VIATRA2 framework

Science of Computer Programming
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars

Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental pattern matching in the viatra model transformation system

Proceedings of the third international workshop on Graph and 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
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
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

From UML specifications to mapping and scheduling of tasks into a NoC, with reliability considerations

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-driven development tools built on industry standard platforms, such as the Eclipse Modeling Framework (EMF), heavily use model queries in various use cases, such as 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 the runtime performance of the tool, and also on the end user experience. However, due to their complexity, they can be time consuming to implement and optimize on a case-by-case basis. To address these shortcomings, we developed the EMF-INCQUERY framework for defining declarative queries over EMF models and executing them effectively using a caching mechanism. In the current paper, we demonstrate how our framework can be easily integrated with other EMF tools. We describe a case study in which EMF-INCQUERY is integrated into the open source Papyrus UML environment to provide on-the-fly validation of well-formedness criteria in UML models.