Difference between revisions of "Henshin FAQ"

From Eclipsepedia

Jump to: navigation, search
(How can I edit transformation rules?)
Line 3: Line 3:
 
There are currently two editors available for Henshin: a tree-based one (EMF) and a graphical one (GMF).  
 
There are currently two editors available for Henshin: a tree-based one (EMF) and a graphical one (GMF).  
 
For a short introduction on transformation rules see the [[Henshin Transformation Rules]] page.
 
For a short introduction on transformation rules see the [[Henshin Transformation Rules]] page.
 +
 +
== How can I validate my transformation?
 +
 +
You can use the [[Henshin Statespace Explorer]] to check invariants and do model checking.

Revision as of 14:49, 28 October 2010

How can I edit transformation rules?

There are currently two editors available for Henshin: a tree-based one (EMF) and a graphical one (GMF). For a short introduction on transformation rules see the Henshin Transformation Rules page.

== How can I validate my transformation?

You can use the Henshin Statespace Explorer to check invariants and do model checking.