publication

ECMFA2011: Incremental Evaluation of Model Queries over EMF Models: a Tutorial on EMF-IncQuery

This tutorial builds on the previous one at MODELS 2010, and presents the most up-to-date version of IncQuery, with detailed usage instructions and a case study. The full-fledged validation framework that we built on IncQuery technology is presented for the first time.

Slicing of Model Transformations

Author: Zoltán Ujhelyi, Ákos Horváth, Dániel Varró

In the proposed ASE11 paper Dynamic Backward Slicing of Model Transformations we proposed a combined static slicing approach for slicing transformation programs and their input models. In this page we list detailed measurements that illustrate the model slicing approach.

Quick fix for DSMLs

    Authors: Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco and Dániel Varró

This page contains additional information for our paper Quick fix for DSMLs. We include here a simplified BPMN metamodel, the list of inconsistency rules and operations for the BPMN case study used in the paper.

Visualization of Traceability Models

Authors: Ábel Hegedüs, Zoltán Ujhelyi, Ákos Horváth, István Ráth

MODELS2010: Incremental Model Queries over EMF Models

In the MODELS2010 article Incremental Model Queries over EMF Models we introduced EMF-IncQuery, a framework for defining declarative queries over EMF models, and executing them efficiently without manual coding}. For the query language, we reuse the concepts of graph patterns as a concise and easy way to specify complex structural model queries. High runtime performance is achieved by adapting incremental graph pattern matching techniques. This webpage displays the technicalities of the case-study used in the paper.

Syndicate content