Jump to: navigation, search

Difference between revisions of "Henshin FAQ"

Line 1: Line 1:
 
__TOC__
 
__TOC__
  
== How can I edit transformation rules? ==
+
== What editors are available for defining Henshin transformations? ==
  
 
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 Graphical Editor]] page.
  
== How can I validate my transformation? ==
+
== How can I executed transformations? ==
  
You can use the [[Henshin Statespace Explorer]] to check invariants and do model checking.
+
Use the [[Henshin Interpreter]] to execute transformations.
 +
 
 +
== How can I analyze my transformations? ==
 +
 
 +
You can use the [[Henshin Statespace Explorer]] to generate a state space, check structural invariants and do model checking.
  
 
== Does Henshin support automatic tracing for exogenous transformations? ==
 
== 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:
+
Henshin follows a rewrite approach. Tracing is not build into the transformation language but can be easily realized using a generic [[Henshin Trace Model]].
<pre>
+
http://www.eclipse.org/emf/2011/Henshin/Trace
+
</pre>
+

Revision as of 15:10, 1 April 2012

What editors are available for defining Henshin transformations?

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 Graphical Editor page.

How can I executed transformations?

Use the Henshin Interpreter to execute transformations.

How can I analyze my transformations?

You can use the Henshin Statespace Explorer to generate a state space, check structural invariants and do model checking.

Does Henshin support automatic tracing for exogenous transformations?

Henshin follows a rewrite approach. Tracing is not build into the transformation language but can be easily realized using a generic Henshin Trace Model.