Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Henshin"
m (+CPA) |
|||
| Line 7: | Line 7: | ||
*[[Henshin Statespace Explorer|State space analysis]] for verification | *[[Henshin Statespace Explorer|State space analysis]] for verification | ||
*Support for [[Henshin Code Generator for Giraph|massive parallel rule execution]] using Apache Giraph | *Support for [[Henshin Code Generator for Giraph|massive parallel rule execution]] using Apache Giraph | ||
| + | *Support for [[Henshin Critical Pair Analysis|critical pair analysis]] | ||
=== Resources === | === Resources === | ||
Revision as of 09:28, 25 May 2016
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
- Meta-model and graphical syntax for transformations
- State space analysis for verification
- Support for massive parallel rule execution using Apache Giraph
- Support for critical pair analysis
Resources
Screenshots
