Bidirectional Transformations
From AtlanMod
In this page we maintain an updated survey of freely available bidirectional transformation systems. If your tool is not listed here, please feel free to indicate it by writing at the address [1].
| Terminal Feature | ATL-AMW | ATL-Inversion | BiG | Bijective BOTL | Boomerang | InfoPreservingTGG | Vdl | QVTR | SyncATL | TCS | Voigtlander 2009 | X | Incr. TGG |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Text | yes | yes | |||||||||||
| Graph | yes | ||||||||||||
| XML | yes | yes | yes | ||||||||||
| MDE | yes | yes | yes | yes | yes | yes | yes | yes | |||||
| ForwardFunctional | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | |||
| BackwardFunctional | yes | yes | yes | ||||||||||
| TotalSource | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | ||
| TotalTarget | yes | yes | yes | yes | yes | yes | |||||||
| BidirectionalDefinition | yes | yes | yes | yes | yes | ||||||||
| UnidirectionalDefinition | yes | yes | yes | yes | yes | yes | yes | yes | |||||
| TuringComplete | yes | yes | |||||||||||
| NotTuringComplete | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | ||
| OperationBased | yes | yes | |||||||||||
| StateBased | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | ||
| Live | yes | yes | |||||||||||
| Offline | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | |
| Complete | yes | yes | yes | yes | |||||||||
| StaticalChangeCheck | yes | ||||||||||||
| DynamicalChangeCheck | yes | yes | yes | yes | yes | yes | |||||||
| AdditionSupport | yes | yes | yes | yes | yes | yes | |||||||
| RemovalSupport | yes | yes | yes | yes | yes | yes | yes | ||||||
| ModificationSupport | yes | yes | yes | yes | yes | yes | yes | ||||||
| Check | yes | ||||||||||||
| Enforcement | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes |
| AutomaticExecution | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes |
| InteractiveExecution | |||||||||||||
| Total | yes | yes | yes | yes | yes | ||||||||
| ChangeApplication | yes | yes | yes | yes | yes | yes | yes | yes | |||||
| ChangeTranslation | |||||||||||||
| SemanticApproach | yes | ||||||||||||
| SyntacticApproach | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | |
| ExplicitBackward | yes | yes | yes | yes | |||||||||
| ImplicitBackward | yes | yes | yes | yes | yes | yes | yes | yes | |||||
| ImplicitTraces | yes | yes | yes | yes | |||||||||
| ExplicitTraces | yes | yes | yes | yes | yes | yes | |||||||
| TraceInModels | yes | yes | yes | yes | |||||||||
| TraceOutOfModels | yes | yes | yes | yes | yes | yes | |||||||
| StandardTraces | yes | ||||||||||||
| ToolSpecificTraces | yes | yes | yes | yes | yes | yes | yes | yes | yes | ||||
| ComplementInModels | |||||||||||||
| ComplementOutOfModels | yes | yes | yes | ||||||||||
| Acceptability | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | |||
| Consistency | yes | yes | yes | yes | yes | yes | yes | ||||||
| Stability | yes | yes | |||||||||||
| Composability | yes | ||||||||||||
| Preservation | yes | ||||||||||||
| Propagation | yes | ||||||||||||
| Undoability | yes | yes | yes | yes | yes | yes | yes | ||||||
| FunctionalBehavior | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes | yes |
