Towards the verification of model transformations

Abstract

While verifying the correctness of model transformations is becoming increasingly important, current model transformation languages offer only weak support for checking statically that transformation cannot go wrong. This paper presents conditions under which 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 transformation rules.

Online Copy

Available here

BibTeX Entry

@InProceedings{ BoChFiLaSt2006.1,
author = {Bodeveix, Jean-Paul and Chemouil, David and Filali, Mamoun and Lalevee, Nicolas and Strecker, Martin},
title = "{Towards the verification of model transformations}",
booktitle = "{European Congress on Embedded Real-Time Software (ERTS), Toulouse, 25/01/2006-27/01/2006}",
year = {2006},
publisher = {Société des Ingénieurs de l'Automobile},
address = {http://www.sia.fr/dyn/publications_detail.asp?codepublication=R-2006-01-5A1},
pages = {(electronic medium)},
language = {anglais},
URL = {http://www.sia.fr/evenement_detail_erts2006_embedded_real_time_actes_365.htm}
}