Towards the verification of model transformations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Towards the verification of model transformations

Résumé

While verifying the correctness of modek transformations is becoming increasingly important, current model transformation languages offer only weak support for checking statically that transformations cannot go wrong. This paper presents conditions under whwh transformations can be shown to produce models that conform to their meta-models, and it describes methods to derive prove obligations from a set of transformations rules.
Fichier principal
Vignette du fichier
5A1_M.Strecker_Feria.pdf (165.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02270435 , version 1 (25-08-2019)

Identifiants

  • HAL Id : hal-02270435 , version 1

Citer

Jean-Paul Bodeveix, David Chemouil, M Filali, Nathalie Lalevee, Martin Strecker. Towards the verification of model transformations. 3rd Conference on Embedded Real Time Software and Systems (ERTS 2006), Jan 2006, Toulouse, France. ⟨hal-02270435⟩
32 Consultations
16 Téléchargements

Partager

Gmail Facebook X LinkedIn More