Skip to Main content Skip to Navigation
Journal articles

Transforming Abstract to Concrete Repairs with a Generative Approach of Repair Values

Abstract : Software models, often comprise of interconnected diagrams, change continuously, and developers often fail in keeping these diagrams consistent. Detecting inconsistencies quickly and efficiently is state of the art. However, repairing them is not trivial, because there are typically multiple model elements that need to be repaired, leading to an exponentially growing space of combinations of repair choices. Despite extensive research on consistency checking, existing approaches either provide abstract repairs only (i.e., identifying the model element but failing to describe the change), which is not satisfactory. This paper presents a novel approach that provides concrete repair choices based on values from the inconsistent models. Thus, our approach first retrieves repair values from the model, turn them to repair choices, and groups them based on their effects. This grouping lets our approach explore the repair space in its entirety, providing quick example-like feedback for all possible repairs. Our approach and its tool implementation have been empirically assessed on 10 case studies from industry, academia, and GitHub to demonstrate its feasibility and scalability. A comparison with three versioned models shows that our approach identifies useful repair values that developers have chosen.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-03127118
Contributor : Djamel Eddine Khelladi <>
Submitted on : Monday, February 1, 2021 - 12:16:25 PM
Last modification on : Wednesday, February 3, 2021 - 3:09:01 AM

File

Transforming_Abstract_to_Concr...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03127118, version 1

Citation

Roland Kretschmer, Djamel Eddine Khelladi, Alexander Egyed. Transforming Abstract to Concrete Repairs with a Generative Approach of Repair Values. Journal of Systems and Software, Elsevier, 2021. ⟨hal-03127118⟩

Share

Metrics

Record views

24

Files downloads

118