Advanced model transformation language constructs in the VIATRA2 framework
Advanced model transformation language constructs in the VIATRA2 framework
复制标题
VIATRA2 框架中的高级模型转换语言构造
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Dániel Varró
中科院分区：
文献类型：
--
作者：
A. Balogh;Dániel Varró
我们介绍了ViaTra2框架的模型转换语言，该语言通过将图形转换和抽象状态机器组合为单个规范范式，为操纵图模型提供了基于规则和模式的转换语言。该语言提供了用于查询的高级构造（例如递归图形模式）和在正式模型分析中经常使用的单向模型转换中的模型（例如通用和元转换规则），以进行强大的抽象。此外，还为多级元模型提供了强大的语言结构，以设计建模语言和基于模板的代码生成。
We present the model transformation language of the VIATRA2 framework, which provides a rule and pattern-based transformation language for manipulating graph models by combining graph transformation and abstract state machines into a single specification paradigm. This language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models (e.g. generic and meta transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions. In addition, powerful language constructs are provided for multi-level metamodeling to design modeling languages and template-based code generation.