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"
| (17 intermediate revisions by 5 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: | ||
| − | * | + | '''Basic transformation definition and execution''' |
| − | + | * [[Henshin/Graphical_Editor#Editing_Transformation_Rules|Rule]]-based transformation paradigm with [[Henshin/Units|units]] for managing control flow of rules | |
| − | *[[Henshin Transformation Meta-Model| | + | * [[Henshin/Graphical Editor|Graphical]] and [[Henshin/Textual Editor|textual syntax]], based on a transformation [[Henshin/Transformation Meta-Model|meta-model]] |
| − | *[[Henshin | + | * Native support for endogenous transformations; support of exogenous transformations via [[Henshin/Trace Model|traces]] |
| − | *Support for [[Henshin Code Generator for Giraph|massive parallel rule execution]] using Apache Giraph | + | * Efficient in-place execution of transformations using a dedicated [[Henshin/Interpreter|interpreter]] with debugging support |
| + | |||
| + | |||
| + | '''Analysis''' | ||
| + | *A [[Henshin/Performance Profiler|performance profiler]] to identify slow spots | ||
| + | *Support for [[Henshin/Conflict and Dependency Analysis|conflict and dependency analysis]] | ||
| + | *[[Henshin/State Space Tools|State space analysis]] for verification | ||
| + | |||
| + | <br /> | ||
| + | '''Advanced rule definition''' | ||
| + | *Support for [[Henshin/Variant Management|rule variants]] | ||
| + | *Support for [[Henshin/Rule Generation|automated rule generation]] | ||
| + | *Support for [[Henshin/OCL2AC|generating application conditions from OCL constraints]] | ||
| + | |||
| + | <br /> | ||
| + | '''Integration with other tools''' | ||
| + | *Integration with [[Henshin/Xtext Adapter|Xtext]] | ||
| + | *Support for [[Henshin/Code Generator for Giraph|massive parallel rule execution]] using Apache Giraph | ||
| + | |||
| + | === 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 40: | ||
[[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 07:56, 16 March 2021
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:
Basic transformation definition and execution
- Rule-based transformation paradigm with units for managing control flow of rules
- Graphical and textual syntax, based on a transformation meta-model
- Native support for endogenous transformations; support of exogenous transformations via traces
- Efficient in-place execution of transformations using a dedicated interpreter with debugging support
Analysis
- A performance profiler to identify slow spots
- Support for conflict and dependency analysis
- State space analysis for verification
Advanced rule definition
- Support for rule variants
- Support for automated rule generation
- Support for generating application conditions from OCL constraints
Integration with other tools
- Integration with Xtext
- Support for massive parallel rule execution using Apache Giraph
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.
Resources
Screenshots
