Query-driven soft links and Developing Queries using EMF-IncQuery presented at MODELS 2012 and AMT 2012

EMF model fragments can now be connected using soft links defined by advanced model queries in EMF-IncQuery to achieve high performance (through incremental evaluation) and standard EMF integration (proper change notifications). We presented this new use case at the MODELS 2012 conference, held this year in Innsbruck.

We also presented the interactive query development features of EMF-IncQuery at the AMT 2012 workshop.


This is the website for VIATRA2/GRaTS, a stochastic graph transformation system simulator built in co-operation between the VIATRA2 Group and Prof. Reiko Heckel's group at the University of Leicester.


Incremental Pattern Matching for the Efficient Computation of Transitive Closure


Pattern matching plays a central role in graph transformations as a key technology for computing local contexts in which transformation rules are to be applied.


Model-driven framework for Design Space Exploration

Design space exploration (DSE) aims at searching through various models representing different design candidates to support activities like configuration design of critical systems or automated maintenance of IT systems. In model-driven engineering, DSE is applied to find instance models that are (i) reachable from an initial model with a sequence of transformation rules and (ii) satisfy a set of structural and numerical constraints.

From BPEL to SAL And Back: a Tool Demo on Back-Annotation with VIATRA2

Authors: Ábel Hegedüs, István Ráth, Dániel Varró

In the proposed SEFM Tool demo we proposed the presentation of an end-to-end back-annotation tool including an execution trace metamodel and a technique for replaying a simulation run according to the persisted execution trace model.1

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

VIATRA2 Release 3.1 video

Check out the VIATRA2 Release 3.1 video on! The text is in Hungarian, but the screen captures towards the end highlight the most important features.

Syndicate content