Skip to main content
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.

Back to the top