The Model Transformation Language of the VIATRA2 Framework

TitleThe Model Transformation Language of the {VIATRA2} Framework
Publication TypeJournal Article
Year of Publication2007
AuthorsVarró, D., and Balogh, A.
JournalScience of Computer Programming
Date PublishedOctober
Keywordsabstract state machines, graph transformation, model transformation, Viatra

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.