A graph query language for EMF models

Authors:
Gábor Bergmann;Zoltán Ujhelyi;István Ráth;Dániel Varró
Affiliations:
Budapest University of Technology and Economics, Department of Measurement and Information Systems, Budapest;Budapest University of Technology and Economics, Department of Measurement and Information Systems, Budapest;Budapest University of Technology and Economics, Department of Measurement and Information Systems, Budapest;Budapest University of Technology and Economics, Department of Measurement and Information Systems, Budapest
Venue:
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Year:
2011

Citing 11
Cited 7

The model transformation language of the VIATRA2 framework

Science of Computer Programming
The Epsilon Transformation Language

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
Improving Domain-Specific Language Reuse with Software Product Line Techniques

IEEE Software
Change-Driven Model Transformations

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model-Based Argument Analysis for Evolving Security Requirements

SSIRI '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
Deep meta-modelling with METADEPTH

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
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
Henshin: advanced concepts and tools for in-place EMF model transformations

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Static type checking of model transformation programs

ICGT'10 Proceedings of the 5th international conference on Graph transformations
Evolution and reuse of language specifications for DSLs (ERLS)

ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology

Implementing efficient model validation in EMF tools

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Derived features for EMF by integrating advanced model queries

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Integrating efficient model queries in state-of-the-art EMF tools

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Lessons learned from building model-driven development tools

Software and Systems Modeling (SoSyM)
Query-driven soft interconnection of EMF models

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Ontology driven design of EMF metamodels and well-formedness constraints

Proceedings of the 12th Workshop on OCL and Textual Modelling
Developing and visualizing live model queries

Proceedings of the First Workshop on the Analysis of Model Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

While model queries are important components in modeldriven tool chains, they are still frequently implemented using traditional programming languages, despite the availability of model query languages due to performance and expressiveness issues. In the current paper, we propose EMF-INCQUERY as a novel, graph-based query language for EMF models by adapting the query language of the VIATRA2 model transformation framework to inherit its concise, declarative nature, but to properly tailor the new query language to the modeling specificities of EMF. The EMF-INCQUERY language includes (i) structural restrictions for queries imposed by EMF models, (ii) syntactic sugar and notational shorthand in queries, (iii) true semantic extensions which introduce new query features, and (iv) a constraint-based static type checking method to detect violations of EMF-specific type inference rules.