VIATRA 3: A reactive model transformation platform

Gábor Bergmann, István Dávid*, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


Model-driven tools frequently rely on advanced technologies to support model queries, view maintenance, design rule validation, model transformations or design space exploration. Some of these features are initiated explicitly by domain engineers (batch execution) while others are executed automatically when certain trigger events are detected (live execution). Unfortunately, their integration into a complex industrial modeling environment is difficult due to hidden interference and unspecified interaction between different features. In this paper, we present a reactive, event-driven model transformation platform over EMF models, which captures tool features as model queries and transformations, and provides a systematic, well-founded integration between a variety of such tool features. Viatra 3 offers a family of internal DSLs (i.e. dedicated libraries) to specify advanced tool features built on top of existing languages like EMF-IncQuery and Xtend. Its main innovation is a source incremental execution scheme built on the reactive programming paradigm ssupported by an event-driven virtual machine.

Original languageEnglish
Title of host publicationTheory and Practice of Model Transformations - 8th International Conference, ICMT 2015 held as Part of STAF 2015, Proceedings
EditorsManuel Wimmer, Dimitris Kolovos
PublisherSpringer Verlag,
Number of pages10
ISBN (Print)9783319211541
Publication statusPublished - 2015
Externally publishedYes
Event8th International Conference on Theory and Practice of Model Transformations, ICMT 2015 - L����Aquila, Italy
Duration: 20 Jul 201521 Jul 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference8th International Conference on Theory and Practice of Model Transformations, ICMT 2015


  • Event-driven transformation
  • Reactive programming
  • Source incremental transformations
  • Virtual machine


Dive into the research topics of 'VIATRA 3: A reactive model transformation platform'. Together they form a unique fingerprint.

Cite this