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.
Presentation at EclipseCon Europe 2012
↧
↧
Presentation of EMF-IncQuery at EclipseCon Europe 2012
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.
↧
A Demonstration of the EMF-IncQuery Development Environment
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ó.
Installation
To evaluate the example of the paper (and EMF-IncQuery in general), the following prerequisites are to be installed:
↧
Modeling... why bother?
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?
↧
EMF-IncQuery 0.7M1 published
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:
↧
↧
A primer to model queries
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.
↧
EMF-IncQuery 0.7M2 published
We have reached our second milestone, with a special focus on stability and bug fixes. We recommend to update your EMF-IncQuery installation from the Marketplace, or using the update sites.
↧
Validation of Derived Features and Well-Formedness Constraints in DSLs
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ó
Attachment:
↧
EMF-IncQuery presentation for Itemis
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.
↧
↧
Change or die: model queries on evolving models
...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.
↧
The relation between OCL and graph patterns (pun intended)
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.
↧
IncQuery-D: Incremental Graph Search in the Cloud
The benchmark is based on the TrainBenchmark's RouteSensor constraint. The metamodel.
Benchmarking environment
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.
↧
Program Query Evaluation
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.
↧
↧
Towards Metrics Based Prediction of Graph Query Performance
Content coming soon.
↧
EMF-IncQuery 0.7M3 published
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.
↧
Patterns of translating to patterns
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.
Navigation
Let's start with the simplest of OCL language elements: navigation.
↧
Patterns of translating to patterns (part II)
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.
↧
↧
Release 0.7.0 available
The EMF-IncQuery project is happy to report that our first release with the version 0.7.0 is available now from the Eclipse.org download servers or the Eclipse Marketplace.
The most important highlights of this first release include:
↧
Efficient Instance-level Ontology Validation by Incremental Model Query Techniques - archived
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.
↧
Illogical, captain!
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.
↧
More Pages to Explore .....
