• Page
• Discussion
• View source
• History
• Edit

From Eclipsepedia

Overview

The VTCL transformation language of VIATRA2 has the following main parts:

• Expressions and Terms
• Abstract State Machines (ASMs)
• Model manipulation
• Graph Patterns
• Graph transformation rules

Type checking will be available from the next release (version 3.1, expected in 2010).

• Type checking rules

--Varro.mit.bme.hu 13:23, 25 May 2009 (UTC)