A year's worth of research in retrospect

Submitted by Gábor Bergmann on Sun, 12/29/2013 - 19:17

It's the end of the year according to both the calendar, as well as my research grant. I have spent some of this past year doing research on the connection of OCL and graph queries. I have also tried to explain and illustrate my research topic in previous posts of this very blog, and let the readers keep tabs on what I was up to all this time. Let's do a quick recap.

Measuring up

Submitted by Gábor Bergmann on Fri, 11/29/2013 - 20:00

My previous blog post demonstrated my OCL to EMF-IncQuery transformation OCL2IQ in action. Here I am presenting my first performance measurements to investigate whether this solution fulfills the original promise of my research: delivering efficient, incremental query evaluation for a subset of OCL expressions by transforming them to graph patterns of equivalent semantics, and applying EMF-IncQuery on them.

It is alive!

Submitted by Gábor Bergmann on Thu, 10/31/2013 - 20:46

In one of my earlier blog posts, I have outlined the basic ideas and transformation patterns that accomplish a translation of (a subset of) OCL expressions into graph patterns. The theory was illustrated by running examples from the school case study, where the purpose of querying was to find classmates with the same name. The good news is that I have managed creating an experimental implementation of this translation that maps OCL expressions to equivalent graph patterns.

Providing incremental updates for queries, part II: expression evaluation

Submitted by Gábor Bergmann on Mon, 09/30/2013 - 19:29

After the overview presented in my previous blog post, I am now going to discuss incremental expression evaluation, a.k.a. the eval() language element, which is my most recent contribution to EMF-IncQuery. The examples continue to rely upon the School metamodel introduced here.

Providing incremental updates for queries, part I

Submitted by Gábor Bergmann on Mon, 08/26/2013 - 19:10

After discussing the importance of modeling and the concept of model queries (with OCL and EMF-IncQuery), one of the introductory blog posts presented the challenge posed by model evolution. Incremental query evluation was suggested then as a solution, without going into the details of how it can be achieved for a query language such as the one of EMF-IncQu

Illogical, captain!

Submitted by Gábor Bergmann on Tue, 07/30/2013 - 12:16

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.

Patterns of translating to patterns (part II)

Submitted by Gábor Bergmann on Mon, 06/24/2013 - 17:06

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.

Patterns of translating to patterns

Submitted by Gábor Bergmann on Fri, 05/31/2013 - 12:22

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.

The relation between OCL and graph patterns (pun intended)

Submitted by Gábor Bergmann on Mon, 04/29/2013 - 19:58

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.

Change or die: model queries on evolving models

Submitted by Gábor Bergmann on Tue, 04/02/2013 - 19:40

...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.

Syndicate content

Tags

base (1) / conference (5) / demo (1) / derived feature (2) / eclipse.org (13) / EclipseCon (4) / EMF Facet (1) / EMF-IncQuery (35) / IncQuery (1) / Itemis (1) / Jedlik (13) / mbeddr (1) / modeling (4) / MPS (1) / MPS-IncQuery (1) / NewGeneration (1) / planeteclipse (10) / presentation (3) / proposal (1) / release (9) / talk (1) / UML (1) / viatra (1) / VIATRA2 (3) / xcore (1)

User login