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"
m |
|||
(7 intermediate revisions by 4 users not shown) | |||
Line 2: | Line 2: | ||
'''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: | '''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 [[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]] and [[Henshin/Textual Editor|textual syntax]] for transformations |
− | *[[Henshin | + | *[[Henshin/Graphical_Editor#Editing_Transformation_Rules|Rule]]-based with transformation [[Henshin/Units|units]] controlling rule application |
− | *Support for [[Henshin Code Generator for Giraph|massive parallel rule execution]] using Apache Giraph | + | *[[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]] | ||
+ | |||
+ | === Getting started === | ||
+ | Please refer to the official Henshin website for [https://www.eclipse.org/henshin/install.php installation instructions] and a [https://www.eclipse.org/henshin/examples.php?example=bank tutorial] showing the first steps in Henshin.<br> | ||
+ | Look at the [[Henshin/Transformation Meta-Model|Henshin meta-model]] for more information about how model transformations are specified in Henshin and what their capabilities are. Details about rule creation and rule application can be found in the articles about the [[Henshin/Graphical Editor|graphical editor]] and the [[Henshin/Interpreter|interpreter]]. | ||
=== Resources === | === Resources === | ||
* [http://www.eclipse.org/modeling/emft/henshin Official website] | * [http://www.eclipse.org/modeling/emft/henshin Official website] | ||
− | * [[Henshin FAQ|FAQ]] | + | * [[Henshin/FAQ|FAQ]] |
+ | * [[Henshin/Committer Instructions|Committer Instructions]] | ||
=== Screenshots === | === Screenshots === | ||
Line 18: | Line 26: | ||
[[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:Henshin]][[Category:Modeling]] |
Revision as of 10:37, 31 October 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 and textual 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
Getting started
Please refer to the official Henshin website for installation instructions and a tutorial showing the first steps in Henshin.
Look at the Henshin meta-model for more information about how model transformations are specified in Henshin and what their capabilities are. Details about rule creation and rule application can be found in the articles about the graphical editor and the interpreter.