Jump to: navigation, search


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: