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
Line 4: | Line 4: | ||
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? | + | == How can I validate my transformation? == |
You can use the [[Henshin Statespace Explorer]] to check invariants and do model checking. | 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.