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 imp...

Full description

Saved in:
Bibliographic Details
Published inTheory and Practice of Model Transformations pp. 158 - 173
Main Authors Büttner, Fabian, Egea, Marina, Guerra, Esther, de Lara, Juan
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2013
SeriesLecture Notes in Computer Science
Subjects
Automate Methodology
Model Transformation
Source Model
Target Model
Transformation Language
Online AccessGet full text
ISBN9783642388828
3642388825
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-38883-5_15

Cover

More Information
Summary: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.
ISBN:9783642388828
3642388825
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-38883-5_15