Jump to: navigation, search

Difference between revisions of "Henshin"

m (wikisyntax)
Line 1: Line 1:
[http://www.eclipse.org/modeling/emft/henshin 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:  
+
[http://www.eclipse.org/modeling/emft/henshin Henshin] is an in-place model transformation language for the Eclipse Modeling Framework ([[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 exogenous transformations  
 
*Natural treatment and efficient in-place execution of endogenous transformations  
 
*Natural treatment and efficient in-place execution of endogenous transformations  
*[http://wiki.eclipse.org/Henshin_Transformation_Rules Graphical syntax] for transformations  
+
*[[Henshin Transformation Rules|Graphical syntax]] for transformations  
*Support for verification of transformations using [http://wiki.eclipse.org/Henshin_Statespace_Explorer state space analysis]
+
*Support for verification of transformations using [[Henshin Statespace Explorer|state space analysis]]

Revision as of 12:04, 19 January 2011

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
  • Support for verification of transformations using state space analysis