Henshin

The Henshin project provides a state of the art model transformation language for the Eclipse Modeling Framework. Henshin supports both direct transformations of EMF single model instances (endogenous transformations), and translation of source model instances into a target language (exogenous transformations).

Features

The Henshin language and toolset supports, among others, the following features:

• Intuitive transformation language with a graphical syntax
• Pattern matching and control-flow constructs with parameter passing
• Support for endogenous and exogenous transformations
• Natural treatment and efficient in-place execution of endogenous transformations
• Arbitrary m-to-n exogenous transformations using a flexible generic trace model
• Formal graph transformation semantics
• Arbitrary mixing of different graph transformation styles (DPO/SPO)
• Efficient interpreter engine based on constraint solving
• Verification using state space tools