Towards the verification of model transformations

Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Nicolas Lalevee, Martin Strecker


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 = {},
pages = {(electronic medium)},
language = {anglais},
URL = {}

Last modified: Thu Jul 30 10:58:55 CEST 2009