Difference between revisions of "Henshin FAQ"

From Eclipsepedia

Jump to: navigation, search
Line 1: Line 1:
 +
__TOC__
 +
 
== How can I edit transformation rules? ==
 
== How can I edit transformation rules? ==
  
Line 7: Line 9:
  
 
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.
 +
 +
== Does Henshin support automatic tracing for exogenous transformations? ==
 +
 +
No, Henshin does not support automatic tracing. However, since version 0.7.1, Henshin includes a generic trace model which you can use to define exogenous transformations. The package URI of the trace model is:
 +
<pre>
 +
http://www.eclipse.org/emf/2011/Henshin/Trace
 +
</pre>

Revision as of 08:11, 25 February 2011

Contents


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.

Does Henshin support automatic tracing for exogenous transformations?

No, Henshin does not support automatic tracing. However, since version 0.7.1, Henshin includes a generic trace model which you can use to define exogenous transformations. The package URI of the trace model is:

http://www.eclipse.org/emf/2011/Henshin/Trace