The Model Transformation Language of the VIATRA2 Framework
Cím | The Model Transformation Language of the {VIATRA2} Framework |
Közlemény típusa | Journal Article |
Kiadás éve | 2007 |
Szerzők | Varró, D., and Balogh, A. |
Folyóirat | Science of Computer Programming |
Kötet | 68 |
Pagination | 214–234 |
Kiadás dátuma | October |
Kulcsszavak | abstract state machines, graph transformation, model transformation, Viatra |
Összefoglalás | 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. |
URL | http://dx.doi.org/10.1016/j.scico.2007.05.004 |