HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 metadata

Contributor : Djamel Eddine Khelladi Connect in order to contact the contributor
Submitted on : Monday, February 1, 2021 - 12:16:25 PM
Last modification on : Monday, April 4, 2022 - 9:28:21 AM
Long-term archiving on: : Sunday, May 2, 2021 - 7:12:19 PM


Files produced by the author(s)



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, 175, pp.19. ⟨10.1016/j.jss.2020.110889⟩. ⟨hal-03127118⟩



Record views


Files downloads