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).

Henshin is a joint project by developers at the Philipps-University in Marburg, the Hasso Plattner Institute in Potsdam and the Technical University of Berlin.

Features

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

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

Screenshots