Skip to main content
Jump to: navigation, search


What editors are available for defining Henshin transformations?

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 Graphical Editor page.

How can I executed transformations?

Use the Henshin Interpreter to execute transformations.

How can I analyze my transformations?

You can use the Henshin Statespace Explorer to generate a state space, check structural invariants and do model checking.

Does Henshin support automatic tracing for exogenous transformations?

Henshin follows a rewrite approach. Tracing is not build into the transformation language but can be easily realized using a generic Henshin Trace Model.

Back to the top