A metrics-driven inspection framework for model transformations

Maria Fernanda Granda, Otto Parra, Nelly Condori-Fernández

Research output: Contribution to ConferencePaperAcademic

Abstract

[Context] 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 both verification and validation 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.

Original languageEnglish
Pages321-334
Number of pages14
Publication statusPublished - 1 Jan 2019
Event22nd Ibero-American Conference on Software Engineering, CIbSE 2019 - La Habana, Cuba
Duration: 22 Apr 201926 Apr 2019

Conference

Conference22nd Ibero-American Conference on Software Engineering, CIbSE 2019
CountryCuba
CityLa Habana
Period22/04/1926/04/19

Fingerprint

Inspection
Software engineering
Feedback
Testing

Keywords

  • Correspondence correctness
  • Inspection
  • Metrics
  • Model transformations
  • Type-correctness

Cite this

Granda, M. F., Parra, O., & Condori-Fernández, N. (2019). A metrics-driven inspection framework for model transformations. 321-334. Paper presented at 22nd Ibero-American Conference on Software Engineering, CIbSE 2019, La Habana, Cuba.
Granda, Maria Fernanda ; Parra, Otto ; Condori-Fernández, Nelly. / A metrics-driven inspection framework for model transformations. Paper presented at 22nd Ibero-American Conference on Software Engineering, CIbSE 2019, La Habana, Cuba.14 p.
@conference{805713a60dc14518b234d6d44d4900b9,
title = "A metrics-driven inspection framework for model transformations",
abstract = "[Context] 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 both verification and validation 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.",
keywords = "Correspondence correctness, Inspection, Metrics, Model transformations, Type-correctness",
author = "Granda, {Maria Fernanda} and Otto Parra and Nelly Condori-Fern{\'a}ndez",
year = "2019",
month = "1",
day = "1",
language = "English",
pages = "321--334",
note = "22nd Ibero-American Conference on Software Engineering, CIbSE 2019 ; Conference date: 22-04-2019 Through 26-04-2019",

}

Granda, MF, Parra, O & Condori-Fernández, N 2019, 'A metrics-driven inspection framework for model transformations' Paper presented at 22nd Ibero-American Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, 22/04/19 - 26/04/19, pp. 321-334.

A metrics-driven inspection framework for model transformations. / Granda, Maria Fernanda; Parra, Otto; Condori-Fernández, Nelly.

2019. 321-334 Paper presented at 22nd Ibero-American Conference on Software Engineering, CIbSE 2019, La Habana, Cuba.

Research output: Contribution to ConferencePaperAcademic

TY - CONF

T1 - A metrics-driven inspection framework for model transformations

AU - Granda, Maria Fernanda

AU - Parra, Otto

AU - Condori-Fernández, Nelly

PY - 2019/1/1

Y1 - 2019/1/1

N2 - [Context] 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 both verification and validation 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.

AB - [Context] 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 both verification and validation 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.

KW - Correspondence correctness

KW - Inspection

KW - Metrics

KW - Model transformations

KW - Type-correctness

UR - http://www.scopus.com/inward/record.url?scp=85068450938&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85068450938&partnerID=8YFLogxK

M3 - Paper

SP - 321

EP - 334

ER -

Granda MF, Parra O, Condori-Fernández N. A metrics-driven inspection framework for model transformations. 2019. Paper presented at 22nd Ibero-American Conference on Software Engineering, CIbSE 2019, La Habana, Cuba.