Abstract
In this paper we show how translation from QVT-R to an intermediate semantic representation can be used to support analysis of QVT-R specifications. We use the UML to RDB case study to illustrate the approach.
| Original language | English |
|---|---|
| Title of host publication | Staf Workshop on Verification of Model Transformations, VOLT 2015 |
| Publisher | Verification Of ModeL Transformation (VOLT 2015) |
| Publication status | Published - 23 Jul 2015 |
| Event | Staf Workshop on Verification of Model Transformations - L'Aquila, Italy Duration: 23 Jul 2015 → 23 Jul 2015 |
Conference
| Conference | Staf Workshop on Verification of Model Transformations |
|---|---|
| Country/Territory | Italy |
| City | L'Aquila |
| Period | 23/07/2015 → 23/07/2015 |