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.