Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely
dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It
is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of the copyright holder.
Sensoria Bibliography Site Advanced Model Transformation Language Constructs in the VIATRA2 Framework
András Balogh, Dániel Varró
abstract:
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.