Difference between revisions of "VIATRA2/Examples/VTCL"
(→Overview) |
(→Overview) |
||
| Line 5: | Line 5: | ||
* [[VIATRA2/Examples/VTCL/ASM | Abstract State Machines (ASMs)]] | * [[VIATRA2/Examples/VTCL/ASM | Abstract State Machines (ASMs)]] | ||
* [[VIATRA2/Examples/VTCL/ModelManipulation | Model manipulation]] | * [[VIATRA2/Examples/VTCL/ModelManipulation | Model manipulation]] | ||
| − | * Graph | + | * [[VIATRA2/Examples/VTCL/GraphPattern | Graph Patterns]] |
* Graph transformation rules | * Graph transformation rules | ||
Type checking will be available from the next release (expected by the end of June, 2009). | Type checking will be available from the next release (expected by the end of June, 2009). | ||
* [[VIATRA2/Examples/VTCL/TypeChecking | Type checking rules]] | * [[VIATRA2/Examples/VTCL/TypeChecking | Type checking rules]] | ||
Revision as of 09:23, 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).