Contrats de transformation pour la validation de raffinement de modèles

A model-driven engineering process relies on a set of transformations which are sequentially executed, starting from an abstract level to produce code or a detailed implementation specification. These transformations are mostly refinements, that is to say detail or data added to models. These refinements may be entirely automated or may require manual intervention by designers. In this paper, we propose a method to demonstrate that a transformation result is correct with respect to the specification of the refinement. This method both includes automated transformations and manual interventions. For that, we focus on transformation contracts written in OCL. This leads to make the proposed method independent of modeling and transformation tools. MOTS-CLÉS : IDM, contrats de transformation, raffinement, OCL