Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Henshin/FAQ"
< Henshin
Line 1: | Line 1: | ||
__TOC__ | __TOC__ | ||
− | == | + | == 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 | + | For a short introduction on transformation rules see the [[Henshin Graphical Editor]] page. |
− | == How can I | + | == 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? == | ||
− | + | Henshin follows a rewrite approach. Tracing is not build into the transformation language but can be easily realized using a generic [[Henshin Trace Model]]. | |
− | + | ||
− | + | ||
− | + |
Revision as of 15:10, 1 April 2012
Contents
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.