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.
Henshin/FAQ
Contents
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.
Does Henshin support automatic tracing for exogenous transformations?
No, Henshin does not support automatic tracing. However, since version 0.7.1, Henshin includes a generic trace model which you can use to define exogenous transformations. The package URI of the trace model is:
http://www.eclipse.org/emf/2011/Henshin/Trace