The model transformation language of the VIATRA2 framework

Dániel Varró, András Balogh

Research output: Contribution to journalArticle

152 Citations (Scopus)


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 transformation and meta-transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions.

Original languageEnglish
Pages (from-to)214-234
Number of pages21
JournalScience of Computer Programming
Issue number3
Publication statusPublished - Oct 1 2007



  • Abstract state machines
  • Graph transformation
  • Model transformation

ASJC Scopus subject areas

  • Software

Cite this