TY - JOUR
T1 - The TTC 2019 Live case
T2 - 12th Transformation Tool Contest, TTC 2019
AU - García-Domínguez, Antonio
AU - Hinkel, Georg
N1 - Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).
PY - 2020/2/10
Y1 - 2020/2/10
N2 - The initial transformation of a model into another model is only the first step. After the creation of the target model, it may be manually changed and the consistency with the source model may be lost or obscured. Ideally, transformation tools should have a way to check the degree of consistency between the source model and the current version of the destination model. This case presents such a scenario for a small transformation, with an automated mutation tool which will introduce changes that may or may not impact consistency. The aim of this case is to evaluate the speed and verbosity of the inter-model consistency checking in the state of the art.
AB - The initial transformation of a model into another model is only the first step. After the creation of the target model, it may be manually changed and the consistency with the source model may be lost or obscured. Ideally, transformation tools should have a way to check the degree of consistency between the source model and the current version of the destination model. This case presents such a scenario for a small transformation, with an automated mutation tool which will introduce changes that may or may not impact consistency. The aim of this case is to evaluate the speed and verbosity of the inter-model consistency checking in the state of the art.
UR - http://www.scopus.com/inward/record.url?scp=85079810591&partnerID=8YFLogxK
UR - http://ceur-ws.org/Vol-2550/
M3 - Conference article
AN - SCOPUS:85079810591
SN - 1613-0073
VL - 2550
SP - 61
EP - 65
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
Y2 - 19 July 2019
ER -