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"
(→Resources) |
|||
(10 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
[[Image:Henshin_small.png|200px|right|Henshin logo]] | [[Image:Henshin_small.png|200px|right|Henshin logo]] | ||
− | + | '''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 | + | *Support for endogenous as well as [[Henshin/Trace Model|exogenous]] transformations |
− | *Natural treatment and efficient in-place execution of endogenous transformations | + | *Natural treatment and efficient [[Henshin/Interpreter|in-place execution]] of endogenous transformations |
− | *[[Henshin Transformation | + | *[[Henshin/Transformation Meta-Model|Meta-model]] and [[Henshin/Graphical Editor|graphical syntax]] for transformations |
− | *[[Henshin | + | *[[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 | ||
+ | *Support for [[Henshin/Code Generator for Giraph|massive parallel rule execution]] using Apache Giraph | ||
+ | *Support for [[Henshin/Critical Pair Analysis|critical pair analysis]] | ||
+ | *Automated [[Henshin/Rule Generation|rule generation]] | ||
+ | === Resources === | ||
+ | |||
+ | * [http://www.eclipse.org/modeling/emft/henshin Official website] | ||
+ | * [[Henshin/FAQ|FAQ]] | ||
+ | * [[Henshin/Committer Instructions|Committer Instructions]] | ||
=== Screenshots === | === Screenshots === | ||
Line 12: | Line 21: | ||
[[Image:Henshin_example_transformation_rule.png|250px|Henshin transformation editors]] | [[Image:Henshin_example_transformation_rule.png|250px|Henshin transformation editors]] | ||
[[Image:Statespace-explorer-phil-win32.png|200px|Henshin state space explorer]] | [[Image:Statespace-explorer-phil-win32.png|200px|Henshin state space explorer]] | ||
+ | |||
+ | [[Category:Henshin]][[Category:Modeling]] |
Revision as of 03:27, 9 July 2019
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
- Automated rule generation