Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Henshin"
(2 intermediate revisions by one other user not shown) | |||
Line 5: | Line 5: | ||
*Natural treatment and efficient in-place execution of endogenous transformations | *Natural treatment and efficient in-place execution of endogenous transformations | ||
*[[Henshin Transformation Rules|Graphical syntax]] for transformations | *[[Henshin Transformation Rules|Graphical syntax]] for transformations | ||
− | * | + | *[[Henshin Statespace Explorer|State space analysis]] for verification |
+ | |||
+ | An alternative visual editor for Henshin has been developed as a student project. | ||
+ | See [http://tfs.cs.tu-berlin.de/henshin/] for more documentation and literature on Henshin and for the update site for the alternative visual editor. | ||
+ | |||
+ | === Screenshots === | ||
+ | |||
+ | [[Image:Henshin_example_transformation_rule.png|250px|Henshin transformation editors]] | ||
+ | [[Image:Statespace-explorer-phil-win32.png|200px|Henshin state space explorer]] |
Revision as of 06:56, 28 April 2011
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
- State space analysis for verification
An alternative visual editor for Henshin has been developed as a student project. See [1] for more documentation and literature on Henshin and for the update site for the alternative visual editor.