Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Henshin"
| Line 1: | Line 1: | ||
| − | [http://www.eclipse.org/modeling/emft/henshin Henshin] is an in-place model transformation language for the Eclipse Modeling Framework ([[EMF]]). It supports direct transformations of EMF model instances (endogenous transformations), as well as generating instances of a target language from given instances of a source language (exogenous transformations). Its main features are: | + | [http://www.eclipse.org/modeling/emft/henshin Henshin] is an in-place model transformation language for the Eclipse Modeling Framework ([[EMF]]). It supports direct transformations of EMF model instances (endogenous transformations), as well as generating instances of a target language from given instances of a source language (exogenous transformations). Its main features are: |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | *Support for endogenous as well as exogenous transformations | |
| − | + | *Natural treatment and efficient in-place execution of endogenous transformations | |
| − | + | *[http://wiki.eclipse.org/Henshin_Transformation_Rules Graphical syntax] for transformations | |
| − | * | + | *Support for verification of transformations using [http://wiki.eclipse.org/Henshin_Statespace_Explorer state space analysis] |
Revision as of 04:49, 8 November 2010
Henshin is an in-place model transformation language for the Eclipse Modeling Framework (EMF). It supports direct transformations of EMF model instances (endogenous transformations), as well as generating instances of a target language from given instances of a source language (exogenous transformations). Its main features are:
- Support for endogenous as well as exogenous transformations
- Natural treatment and efficient in-place execution of endogenous transformations
- Graphical syntax for transformations
- Support for verification of transformations using state space analysis