Difference between revisions of "VIATRA2/Examples/VTCL"
(→Overview) |
(→Overview) |
||
| Line 7: | Line 7: | ||
* Graph patterns | * Graph patterns | ||
* Graph transformation rules | * Graph transformation rules | ||
| + | |||
| + | Type checking will be available from the next release (expected by the end of June, 2009). | ||
| + | * [[VIATRA2/Examples/VTCL/TypeChecking | Type checking rules]] | ||
Revision as of 06:30, 25 May 2009
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 (expected by the end of June, 2009).