Henshin FAQ

From Eclipsepedia

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.