Checking Model Transformation Refinement - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Checking Model Transformation Refinement


Refinement is a central notion in computer science, meaning that some artefact S can be safely replaced by a refinement R, which preserves S's properties. Having available techniques and tools to check transformation refinement would enable (a) the reasoning on whether a transformation correctly implements some requirements, (b) whether a transformation implementation can be safely replaced by another one (e.g. when migrating from QVT-R to ATL), and (c) bring techniques from stepwise refinement for the engineering of model transformations. In this paper, we propose an automated methodology and tool support to check transformation refinement. Our procedure admits heterogeneous specification (e.g. PaMoMo, Tracts, OCL) and implementation languages (e.g. ATL, QVT), relying on their translation to OCL as a common representation formalism and on the use of model finding tools.
Fichier principal
Vignette du fichier
article.pdf (254.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00815008 , version 1 (18-04-2013)


  • HAL Id : hal-00815008 , version 1


Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara. Checking Model Transformation Refinement. International Conference on Model Transformation (ICMT), Jun 2013, Budapast, Hungary. ⟨hal-00815008⟩
558 View
849 Download


Gmail Facebook X LinkedIn More