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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

34 Citations (Scopus)

Abstract

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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages101-110
Number of pages10
Volume9152
ISBN (Print)9783319211541
DOIs
Publication statusPublished - 2015
Event8th International Conference on Theory and Practice of Model Transformations, ICMT 2015 - L����Aquila, Italy
Duration: Jul 20 2015Jul 21 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9152
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other8th International Conference on Theory and Practice of Model Transformations, ICMT 2015
CountryItaly
CityL����Aquila
Period7/20/157/21/15

Fingerprint

Model Transformation
Event-driven
Electromagnetic Fields
Query
Design Space Exploration
Design Rules
Virtual Machine
Trigger
Model
Batch
DSL
Maintenance
Programming
Interference
Paradigm
Electric potential
Computer programming
Internal
Innovation
Interaction

Keywords

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

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Bergmann, G., Dávid, I., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., & Varró, D. (2015). VIATRA 3: A reactive model transformation platform. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9152, pp. 101-110). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9152). Springer Verlag. https://doi.org/10.1007/978-3-319-21155-8_8

VIATRA 3 : A reactive model transformation platform. / Bergmann, Gábor; Dávid, István; Hegedüs, Ábel; Horváth, Ákos; Ráth, István; Ujhelyi, Zoltán; Varró, D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9152 Springer Verlag, 2015. p. 101-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9152).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bergmann, G, Dávid, I, Hegedüs, Á, Horváth, Á, Ráth, I, Ujhelyi, Z & Varró, D 2015, VIATRA 3: A reactive model transformation platform. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 9152, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9152, Springer Verlag, pp. 101-110, 8th International Conference on Theory and Practice of Model Transformations, ICMT 2015, L����Aquila, Italy, 7/20/15. https://doi.org/10.1007/978-3-319-21155-8_8
Bergmann G, Dávid I, Hegedüs Á, Horváth Á, Ráth I, Ujhelyi Z et al. VIATRA 3: A reactive model transformation platform. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9152. Springer Verlag. 2015. p. 101-110. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-21155-8_8
Bergmann, Gábor ; Dávid, István ; Hegedüs, Ábel ; Horváth, Ákos ; Ráth, István ; Ujhelyi, Zoltán ; Varró, D. / VIATRA 3 : A reactive model transformation platform. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9152 Springer Verlag, 2015. pp. 101-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{a33d90aefecf456ebf89730c29a93cb2,
title = "VIATRA 3: A reactive model transformation platform",
abstract = "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.",
keywords = "Event-driven transformation, Reactive programming, Source incremental transformations, Virtual machine",
author = "G{\'a}bor Bergmann and Istv{\'a}n D{\'a}vid and {\'A}bel Heged{\"u}s and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and Zolt{\'a}n Ujhelyi and D. Varr{\'o}",
year = "2015",
doi = "10.1007/978-3-319-21155-8_8",
language = "English",
isbn = "9783319211541",
volume = "9152",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "101--110",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - VIATRA 3

T2 - A reactive model transformation platform

AU - Bergmann, Gábor

AU - Dávid, István

AU - Hegedüs, Ábel

AU - Horváth, Ákos

AU - Ráth, István

AU - Ujhelyi, Zoltán

AU - Varró, D.

PY - 2015

Y1 - 2015

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

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

KW - Event-driven transformation

KW - Reactive programming

KW - Source incremental transformations

KW - Virtual machine

UR - http://www.scopus.com/inward/record.url?scp=84952659402&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84952659402&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-21155-8_8

DO - 10.1007/978-3-319-21155-8_8

M3 - Conference contribution

SN - 9783319211541

VL - 9152

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 101

EP - 110

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -