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

Screenshots