Skip to main content
Jump to: navigation, search

Difference between revisions of "Henshin"

(Resources)
m
 
(One intermediate revision by one other user not shown)
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]] and [[Henshin/Textual Editor|textual syntax]] for transformations
 
*[[Henshin/Graphical_Editor#Editing_Transformation_Rules|Rule]]-based with transformation [[Henshin/Units|units]] controlling rule application
 
*[[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
Line 10: Line 10:
 
*Support for [[Henshin/Critical Pair Analysis|critical pair analysis]]
 
*Support for [[Henshin/Critical Pair Analysis|critical pair analysis]]
 
*Automated [[Henshin/Rule Generation|rule generation]]
 
*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 ===

Latest revision as of 09:37, 31 October 2019

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:

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

Henshin transformation editors     Henshin state space explorer

Back to the top