Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Henshin/FAQ"
< Henshin
(→How can I edit transformation rules?) |
|||
Line 3: | Line 3: | ||
There are currently two editors available for Henshin: a tree-based one (EMF) and a graphical one (GMF). | There are currently two editors available for Henshin: a tree-based one (EMF) and a graphical one (GMF). | ||
For a short introduction on transformation rules see the [[Henshin Transformation Rules]] page. | For a short introduction on transformation rules see the [[Henshin Transformation Rules]] page. | ||
+ | |||
+ | == How can I validate my transformation? | ||
+ | |||
+ | You can use the [[Henshin Statespace Explorer]] to check invariants and do model checking. |
Revision as of 14:49, 28 October 2010
How can I edit transformation rules?
There are currently two editors available for Henshin: a tree-based one (EMF) and a graphical one (GMF). For a short introduction on transformation rules see the Henshin Transformation Rules page.
== How can I validate my transformation?
You can use the Henshin Statespace Explorer to check invariants and do model checking.