Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "VIATRA2/Examples/VTCL"
(→Overview) |
m (updated next version information) |
||
| Line 8: | Line 8: | ||
* Graph transformation rules | * Graph transformation rules | ||
| − | Type checking will be available from the next release ( | + | Type checking will be available from the next release (version 3.1, expected in 2010). |
* [[VIATRA2/Examples/VTCL/TypeChecking | Type checking rules]] | * [[VIATRA2/Examples/VTCL/TypeChecking | Type checking rules]] | ||
--[[User:Varro.mit.bme.hu|Varro.mit.bme.hu]] 13:23, 25 May 2009 (UTC) | --[[User:Varro.mit.bme.hu|Varro.mit.bme.hu]] 13:23, 25 May 2009 (UTC) | ||
Revision as of 13:20, 19 March 2010
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).
--Varro.mit.bme.hu 13:23, 25 May 2009 (UTC)