Sciweavers

Share
IFM
2010
Springer

Specification and Verification of Model Transformations Using UML-RSDS

10 years 2 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to specify model transformations facilitates the integration of model transformations with other software development processes, and the reflexive application of model transformations. Extracts from three large case studies of the specification of model transformations are given, to demonstrate the practical application of the approach.
Kevin Lano, Shekoufeh Kolahdouz Rahimi
Added 13 Feb 2011
Updated 13 Feb 2011
Type Journal
Year 2010
Where IFM
Authors Kevin Lano, Shekoufeh Kolahdouz Rahimi
Comments (0)
books