Eclipse

VIATRA2 Documentation

Currently, the VIATRA2 Documentation consists of the following documents:

• The VIATRA2 Transformation Language Specification

  The document describes the VIATRA2 Transformation Command Language in detail. A VIATRA2 transformation consists of graph pattern definitions (Section 3) defined by precise formal semantics (Section 4), and control structures (Section 5).
  The language specification is available in PDF format from here.

• Users' Guide

  The Users' Guide offers a description of the user interface (which is a bit outdated, for more accurate descriptions, have a look at the Wiki), howtos for writing model importers and native functions, and a by-example section to get you started with writing VIATRA transformations.
  Get it in PDF from here.