Specification and Verification of Model Transformations using UML-RSDS

Kevin Lano 1 Shekoufeh Kolahdouz-Rahimi 1
1 DCS - Department of Computer Science
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.
keyword : Model transformation UML-RSDS Specification Verification
Type de document :
Communication dans un congrès
Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.199-214, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées
https://hal.inria.fr/inria-00525175
Contributeur : Ist Inria Nancy Grand Est <>
Soumis le : lundi 11 octobre 2010 - 12:50:59
Dernière modification le : jeudi 19 avril 2018 - 14:24:03

Identifiants

  • HAL Id : inria-00525175, version 1

Collections

Citation

Kevin Lano, Shekoufeh Kolahdouz-Rahimi. Specification and Verification of Model Transformations using UML-RSDS. Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.199-214, 2010, Lecture Notes in Computer Science. 〈inria-00525175〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

19

Contact


archive-ouverte@inria.fr