Viatra 3: A Reactive Model Transformation Platform
Viatra 3: A Reactive Model Transformation Platform
复制标题
Viatra 3：反应式模型转换平台
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Dániel Varró
中科院分区：
文献类型：
--
作者：
Gábor Bergmann;István Dávid;Ábel Hegedüs;Á. Horváth;I. Ráth;Z. Ujhelyi;Dániel Varró
模型驱动工具通常依赖于高级技术来支持模型查询、视图维护、设计规则验证、模型转换或设计空间探索。其中一些功能是由域工程师批处理执行显式启动的，而其他功能则是在实时执行检测到某些触发事件时自动执行的。不幸的是，由于不同特征之间隐藏的干扰和未指定的交互，它们很难集成到复杂的工业建模环境中。在本文中，我们提出了一个反应式，事件驱动的模型转换平台EMF模型，捕捉工具功能的模型查询和转换，并提供了一个系统的，有根据的集成各种工具功能。Viatra 3提供了一系列内部DSL，即专用库，用于指定在现有语言（如EMF-IncQuery和Xtend）之上构建的高级工具功能。它的主要创新是一个源代码增量执行计划建立在响应式编程范式的事件驱动的虚拟机支持。
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.