Jump to: navigation, search

Difference between revisions of "Henshin"

Line 7: Line 7:
 
*[[Henshin Statespace Explorer|State space analysis]] for verification
 
*[[Henshin Statespace Explorer|State space analysis]] for verification
  
 +
An alternative visual editor for Henshin has been developed as a student project.
 +
See [http://tfs.cs.tu-berlin.de/henshin/] for more documentation and literature on Henshin and for the update site for the alternative visual editor.
  
 
=== Screenshots ===
 
=== Screenshots ===

Revision as of 06:56, 28 April 2011

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
  • Natural treatment and efficient in-place execution of endogenous transformations
  • Graphical syntax for transformations
  • State space analysis for verification

An alternative visual editor for Henshin has been developed as a student project. See [1] for more documentation and literature on Henshin and for the update site for the alternative visual editor.

Screenshots

Henshin transformation editors     Henshin state space explorer