Specification and Verification of Model Transformations using UML-RSDS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Specification and Verification of Model Transformations using UML-RSDS

Kevin Lano
  • Function : Author
  • PersonId : 880455
Shekoufeh Kolahdouz-Rahimi
  • Function : Author
  • PersonId : 880456

Abstract

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 transfor- mations facilitates the integration of model transformations with other software development processes. Extracts from three large case studies of the specification of model transformations are given, to demonstrate the practical application of the approach.
No file

Dates and versions

inria-00525175 , version 1 (11-10-2010)

Identifiers

  • HAL Id : inria-00525175 , version 1

Cite

Kevin Lano, Shekoufeh Kolahdouz-Rahimi. Specification and Verification of Model Transformations using UML-RSDS. Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.199-214. ⟨inria-00525175⟩
18 View
0 Download

Share

Gmail Facebook X LinkedIn More