Articles on this Page
- 10/24/12--02:33: _Presentation at Ecl...
- 11/12/12--01:53: _Presentation of EMF...
- 11/16/12--01:58: _A Demonstration of ...
- 01/29/13--06:05: _Modeling... why bot...
- 02/20/13--10:27: _EMF-IncQuery 0.7M1 ...
- 02/25/13--09:15: _A primer to model q...
- 03/07/13--15:00: _EMF-IncQuery 0.7M2 ...
- 03/15/13--02:40: _Validation of Deriv...
- 03/19/13--02:12: _EMF-IncQuery presen...
- 04/02/13--10:40: _Change or die: mode...
- 04/29/13--10:58: _The relation betwee...
- 05/16/13--07:12: _IncQuery-D: Increme...
- 05/17/13--07:38: _Program Query Evalu...
- 05/17/13--22:34: _Towards Metrics Bas...
- 05/23/13--07:09: _EMF-IncQuery 0.7M3 ...
- 05/31/13--03:22: _Patterns of transla...
- 06/24/13--08:06: _Patterns of transla...
- 07/01/13--02:24: _Release 0.7.0 avail...
- 07/24/13--02:49: _Efficient Instance-...
- 07/30/13--03:16: _Illogical, captain!
- 10/24/12--02:33: Presentation at EclipseCon Europe 2012
- 11/12/12--01:53: Presentation of EMF-IncQuery at EclipseCon Europe 2012
- 11/16/12--01:58: A Demonstration of the EMF-IncQuery Development Environment
- 01/29/13--06:05: Modeling... why bother?
- 02/20/13--10:27: EMF-IncQuery 0.7M1 published
- 02/25/13--09:15: A primer to model queries
- 03/07/13--15:00: EMF-IncQuery 0.7M2 published
- 03/19/13--02:12: EMF-IncQuery presentation for Itemis
- 04/02/13--10:40: Change or die: model queries on evolving models
- 04/29/13--10:58: The relation between OCL and graph patterns (pun intended)
- 05/16/13--07:12: IncQuery-D: Incremental Graph Search in the Cloud
- 05/17/13--07:38: Program Query Evaluation
- 05/17/13--22:34: Towards Metrics Based Prediction of Graph Query Performance
- 05/23/13--07:09: EMF-IncQuery 0.7M3 published
- 05/31/13--03:22: Patterns of translating to patterns
- 06/24/13--08:06: Patterns of translating to patterns (part II)
- 07/01/13--02:24: Release 0.7.0 available
- 07/30/13--03:16: Illogical, captain!
EMF-IncQuery has been featured in a presentation at EclipseCon Europe 2012: Fast, Faster and Super-fast Model Queries by Ed Willink and István Ráth.
Just in time for the conference, EMF-IncQuery version 0.6.7 has been released to the Marketplace.
Representing our research group, Dr. István Ráth has presented the new version of our open source incremental model query framework called EMF-IncQuery at EclipseCon Europe 2012, intended for industrial applications. As an acknowledgement of our work, Ed Merks (the creator of the de-facto industry standard Eclipse Modeling Framework) has lauded EMF-IncQuery as one of the most significant innovations of recent times.
This page is created as to supplement the proposed paper EMF-IncQuery: An Integrated Development Environment for Live Model Queries by Zoltán Ujhelyi, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth and Dániel Varró.
To evaluate the example of the paper (and EMF-IncQuery in general), the following prerequisites are to be installed:
Modeling in software engineering... why bother?
When I first heard about modeling in software engineering, I was quite skeptical. After all, why bother to create models first, when one can jump right into coding the software?
Today the EMF-IncQuery project finished its first milestone towards its first release at Eclipse.org. Version 0.7.0-M1 features the same performant model query engine and development tooling as our previous 0.6.x series, but also adds some new features:
Models are not black holes
The principle of model-driven engineering (MDE) was discussed in my previous blog post. When one reads about MDE, there is a lot of talk about creating models, as if all the engineers ever do was creating models using shiny diagram editors; like "the focus of the engineering approach is to build models of the system under design, first on a high level of abstraction, then gradually approaching platform-specific design decisions", and so on. One could even start to believe that models are some kind of information theory black hole: information is only put in, but never comes out. Well, this is not the case.
This page is created as to supplement the proposed paper Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver by Oszkár Semeráth, Ákos Horváth and Dániel Varró
EMF-IncQuery has been presented to Itemis developers by Tamás Szabó, our former student and freshly enrolled software engineer for Itemis in Stuttgart. The slides are available on SlideShare, and the example projects can be downloaded from GitHub.
...the only constant
Modeling and model queries were discussed in my previous blog posts. Now it is time to turn our attentions towards a great challenge: that of evolving models.
My previous introductory blog posts talked about the importance of modeling, the concept of model queries (with OCL and EMF-IncQuery) and model evolution. Now it is time to give a glimpse into my research: translating OCL expressions to graph patterns, so that incremental evaluation techniques (see EMF-IncQuery) developed for graph patterns can be applied to queries formulated in OCL.
Instance model generation
Our model generator instantiated generated the property graph models in different sizes ranging from a few thousand elements up to approx. 8×106, to scale the experiment up to large model sizes reported in the industry.
Authors: Zoltán Ujhelyi, Ákos Horváth, Dániel Varró, Norbert István Csiszár, Gábor Szőke, László Vidács, Rudolf Ferenc
In the proposed ASE13 paper Model Queries for Identifying Refactoring Context of Java Programs: A Comparison of Approacheswe compare three different approaches to evaluating program queries. This page details all measurements done for the paper.
Content coming soon.
The EMF-IncQuery project is happy to report that we have reached our third milestone, with a special focus on finalizing the API in preparation for the 0.7.0 release in the summer. Important note: please read the migration guide to ensure a smooth upgrade path for existing EMF-IncQuery projects.
My previous introductory blog posts talked about the importance of modeling, the concept of model queries (with OCL and EMF-IncQuery) and model evolution. Last time, I demonstrated the translation of OCL expressions into graph patterns. Now it is time to discuss how the various OCL constructs can be mapped to graph patterns of EMF-IncQuery.
Let's start with the simplest of OCL language elements: navigation.
After the introductory blog posts on the importance of modeling, the concept of model queries (with OCL and EMF-IncQuery) and model evolution, I demonstrated the translation of OCL expressions into graph patterns. Continuing from last time, I present patterns that can be applied to translate OCL expressions to the query language of EMF-IncQuery.
The most important highlights of this first release include:
Model Driven Development systems exploit the benefit of instance model validation and model transformation. Ever-growing model sizes used for example in critical embedded systems development require more and more efficient tools. The most time consuming step during model validation or model transformation is the model query step. This benchmark aims to measure batch style query and incremental style query of existing OWL (or RDF) and EMF based tools.
After the introductory blog posts on the importance of modeling, the concept of model queries (with OCL and EMF-IncQuery) and model evolution, I demonstrated the translation of OCL expressions into the graph pattern language of EMF-IncQuery, and outlined the general translation patterns in two consecutive posts.
The current post will place the language of EMF-IncQuery in a broader context, show aspects where it its expressive power superior to certain other approaches, and where the current implementation needs to be extended.