The Model Transformation Language of the VIATRA2 Framework
| Title | The Model Transformation Language of the {VIATRA2} Framework |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Varró, D., and Balogh, A. |
| Journal | Science of Computer Programming |
| Volume | 68 |
| Pagination | 214–234 |
| Date Published | October |
| Keywords | abstract state machines, graph transformation, model transformation, Viatra |
| 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. |
| URL | http://dx.doi.org/10.1016/j.scico.2007.05.004 |
