Skip to main content

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.

Jump to: navigation, search

Difference between revisions of "Henshin"

Line 5: Line 5:
 
*Natural treatment and efficient in-place execution of endogenous transformations  
 
*Natural treatment and efficient in-place execution of endogenous transformations  
 
*[[Henshin Transformation Rules|Graphical syntax]] for transformations  
 
*[[Henshin Transformation Rules|Graphical syntax]] for transformations  
*Support for verification of transformations using [[Henshin Statespace Explorer|state space analysis]]
+
*[[Henshin Statespace Explorer|State space analysis]] for verification
  
  

Revision as of 16:05, 13 February 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


Screenshots

Henshin transformation editors     Henshin state space explorer

Copyright © Eclipse Foundation, Inc. All Rights Reserved.