Jump to: navigation, search


How can I execute transformations?

Use the Henshin Interpreter to execute transformations (available via a wizard or programatically).

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.

How can I use dynamic EMF with Henshin?

Define your EMF models as usual. Make sure you set the namespace URIs and prefixes for all packages. To use the packages in Henshin, right-click in the Henshin editor and select Import Package -- From Workspace and choose the packages from your Ecore files. To create an dynamic instance model, right-click on an Ecore file and select Henshin -- Create Dynamic Instance. This will create an XMI file which you can then edit in the Sample Reflective Model Editor of EMF.

If you don't want to use dynamic EMF, import the packages from the registry and use the runtime version (not the development version).

I get NullPointerExceptions when I try to execute my transformation

Make sure all node, edge and attribute types are correctly set. Also, it is important that you reference the same version of the metamodels in your Henshin files as in your instance models. For example, if you have a UML instance model created with the UML editors, you must make sure that you use the same UML metamodel in your transformation. In this case, you would have to import the UML metamodel from the registry and use the runtime version. See also the entries before and after this one.

I get exceptions during state space generation

Try setting the property collectMissingRoots=true.

How can I define a higher-order (HO) transformation in Henshin?

Import the Henshin and the Ecore metamodel into your transformation (import from the registry and use the runtime versions). Check out the examples repository on our website for more details.

Why is my rule with a String constant not matched even though the constant is correct?

The attribute in the Henshin rule must look like this: "CONSTANT" where CONSTANT is the string to be matched. Make sure you use double quotes here. In the instance model, the object's attribute must have the value CONSTANT -- in the EMF editor you must not use any quotes here!

What sort of automatic analysis is supported?

You can use the Henshin State Space Explorer to generate a state space for a transformation system, check structural invariants and do model checking.

The Critical Pair Analysis allows to uncover conflicts and dependencies in a rule set, which can be used for many purposes, including validation and testing.