King's College London

Research portal

Model Transformation Semantic Analysis by Transformation

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationStaf Workshop on Verification of Model Transformations, VOLT 2015
PublisherVerification Of ModeL Transformation (VOLT 2015)
Publication statusPublished - 23 Jul 2015
EventStaf Workshop on Verification of Model Transformations - L'Aquila, Italy
Duration: 23 Jul 201523 Jul 2015

Conference

ConferenceStaf Workshop on Verification of Model Transformations
CountryItaly
CityL'Aquila
Period23/07/201523/07/2015

King's Authors

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.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454