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"
(Move links to subpages) |
(Add bullet point to feature list.) |
||
Line 4: | Line 4: | ||
*Support for endogenous as well as [[Henshin/Trace Model|exogenous]] transformations | *Support for endogenous as well as [[Henshin/Trace Model|exogenous]] transformations | ||
*Natural treatment and efficient [[Henshin/Interpreter|in-place execution]] of endogenous transformations | *Natural treatment and efficient [[Henshin/Interpreter|in-place execution]] of endogenous transformations | ||
− | *[[Henshin/Transformation Meta-Model|Meta-model]] and [[Henshin/Graphical Editor|graphical syntax]] for transformations | + | *[[Henshin/Transformation Meta-Model|Meta-model]] and [[Henshin/Graphical Editor|graphical syntax]] for transformations |
+ | *[[Henshin/Graphical_Editor#Editing_Transformation_Rules|Rule]]-based with transformation [[Henshin/Units|units]] controlling rule application | ||
*[[Henshin/State Space Tools|State space analysis]] for verification | *[[Henshin/State Space Tools|State space analysis]] for verification | ||
*Support for [[Henshin/Code Generator for Giraph|massive parallel rule execution]] using Apache Giraph | *Support for [[Henshin/Code Generator for Giraph|massive parallel rule execution]] using Apache Giraph |
Revision as of 06:56, 11 March 2018
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
- Meta-model and graphical syntax for transformations
- Rule-based with transformation units controlling rule application
- State space analysis for verification
- Support for massive parallel rule execution using Apache Giraph
- Support for critical pair analysis