Difference between revisions of "Henshin FAQ"

From Eclipsepedia

Jump to: navigation, search
Line 4: Line 4:
 
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?
+
== How can I validate my transformation? ==
  
 
You can use the [[Henshin Statespace Explorer]] to check invariants and do model checking.
 
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.