Checking Model Transformation Refinement

Fabian Büttner 1, 2 Marina Egea 3 Esther Guerra 4 Juan De Lara 4
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Type de document :
Communication dans un congrès
International Conference on Model Transformation (ICMT), Jun 2013, Budapast, Hungary. Springer, 2013
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00815008
Contributeur : Fabian Buettner <>
Soumis le : jeudi 18 avril 2013 - 09:53:27
Dernière modification le : mercredi 11 avril 2018 - 02:00:59
Document(s) archivé(s) le : vendredi 19 juillet 2013 - 04:00:52

Fichier

article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00815008, version 1

Citation

Fabian Büttner, Marina Egea, Esther Guerra, Juan De Lara. Checking Model Transformation Refinement. International Conference on Model Transformation (ICMT), Jun 2013, Budapast, Hungary. Springer, 2013. 〈hal-00815008〉

Partager

Métriques

Consultations de la notice

305

Téléchargements de fichiers

981