Title: | A metrics-driven inspection framework for model transformations |
Other Titles: | Un marco de inspección basado en métricas para transformaciones de modelos |
Authors: | Granda Juca, Maria Fernanda Parra Gonzalez, Luis Otto Condori Fernández, Nelly |
metadata.dc.ucuenca.correspondencia: | Granda Juca, Maria Fernanda, fernanda.granda@ucuenca.edu.ec Parra Gonzalez, Luis Otto, otto.parra@ucuenca.edu.ec |
Keywords: | Model transformations Type-correctness Correspondence correctness Inspection Metrics Verification |
metadata.dc.ucuenca.areaconocimientofrascatiamplio: | 2. Ingeniería y Tecnología |
metadata.dc.ucuenca.areaconocimientofrascatidetallado: | 2.2.4 Ingeniería de La Comunicación y de Sistemas |
metadata.dc.ucuenca.areaconocimientofrascatiespecifico: | 2.2 Ingenierias Eléctrica, Electrónica e Información |
metadata.dc.ucuenca.areaconocimientounescoamplio: | 06 - Información y Comunicación (TIC) |
metadata.dc.ucuenca.areaconocimientounescodetallado: | 0613 - Software y Desarrollo y Análisis de Aplicativos |
metadata.dc.ucuenca.areaconocimientounescoespecifico: | 061 - Información y Comunicación (TIC) |
Issue Date: | 2019 |
metadata.dc.ucuenca.embargoend: | 31-Dec-2050 |
metadata.dc.ucuenca.volumen: | Volumen 0, número 0 |
metadata.dc.source: | XXII Ibero-American Conference on Software Engineering |
Publisher: | Curran Associates |
metadata.dc.description.city: | La Habana |
metadata.dc.type: | ARTÍCULO DE CONFERENCIA |
Abstract: | Model transformations are key elements of Model-driven Engineering. They allow querying, synthesizing and transforming models into other models or code. [Problem] However, as with other software development artefacts, they are not free from anomalies and thus require specialist verification techniques. [Objective] The objective of this study is to define a semi-automated framework for inspecting the correctness (notions of type and correspondence) of model transformations, by means of detecting and locating anomalies in the transformation rules. [Method] In order to compare the correctness of source and target models, we assume that operational behaviour can be compared by metrics applied on projections from the source model to the target (with deliberate loss of information), which should be preserved by the transformation. [Results] We demonstrate the applicability of our framework for inspecting the correctness of a model-to-model transformation required in a model-driven testing approach. The main result of the study highlights the advantages of metrics for detecting any missing, incorrect or unnecessary transformation rules that have an impact on the correctness of the model transformations. From the research perspective, the feedback produced by the implemented tool will be useful for future research. |
Description: | Las transformaciones de modelos son elementos clave de la ingeniería dirigida por modelos. Permiten consultar, sintetizar y transformar modelos en otros modelos o códigos. [Problema] Sin embargo, al igual que con otros artefactos de desarrollo de software, no están exentos de anomalías y, por lo tanto, requieren técnicas de verificación especializadas. [Objetivo] El objetivo de este estudio es definir un marco semiautomático para inspeccionar la corrección (nociones de tipo y correspondencia) de las transformaciones del modelo, mediante la detección y localización de anomalías en las reglas de transformación. [Método] Para comparar la exactitud de los modelos de origen y destino, suponemos que el comportamiento operativo puede compararse mediante métricas aplicadas en las proyecciones del modelo de origen al destino (con pérdida deliberada de información), que la transformación debería preservar . [Resultados] Demostramos la aplicabilidad de nuestro marco para inspeccionar la corrección de una transformación de modelo a modelo requerida en un enfoque de prueba basado en modelos. El resultado principal del estudio destaca las ventajas de las métricas para detectar cualquier regla de transformación faltante, incorrecta o innecesaria que tenga un impacto en la corrección de las transformaciones del modelo. Desde la perspectiva de la investigación, los comentarios producidos por la herramienta implementada serán útiles para futuras investigaciones. |
URI: | http://toc.proceedings.com/49253webtoc.pdf |
metadata.dc.ucuenca.urifuente: | https://dblp.org/db/conf/cibse/cibse2019.html |
ISBN: | ISBN 978-1-5108-8795-4 |
ISSN: | 0000-0000 |
Appears in Collections: | Artículos
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.