by Roland Kretschmer, Djamel Eddine Khelladi, Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
Abstract:
A common task performed in model-driven software engineering is evolving models. This task is typically performed manually during the design or implementation phase of software projects and is known to cause inconsistencies. Despite extensive research on consistency checking, existing approaches either provide abstract (i.e., incomplete) repairs only, or they require manually predefined strategies on how to repair inconsistencies. In this paper, we present a novel approach that provides concrete (i.e., executable) repairs without the need of predefined repair strategies. Furthermore, our approach proposes functions which automate the generation of concrete repairs at runtime. An empirical assessment of the approach on six case studies from industry, academia and GitHub demonstrates its feasibility, and shows that the provided concrete repairs are relevant and can fix their corresponding inconsistencies automatically.
Reference:
From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach (Roland Kretschmer, Djamel Eddine Khelladi, Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed), In Proceedings of the 24th Asia-Pacific Software Engineering Conference (APSEC), Nanjing, China, 2017.
Bibtex Entry:
@Conference{DBLP:conf/apsec/KretschmerKDLE17,
author = {Roland Kretschmer and Djamel Eddine Khelladi and Andreas Demuth and Roberto E. Lopez-Herrejon and Alexander Egyed},
title = {From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach},
booktitle = {Proceedings of the 24th Asia-Pacific Software Engineering Conference (APSEC), Nanjing, China},
year = {2017},
pages = {456--465},
abstract = {A common task performed in model-driven software engineering is evolving
models. This task is typically performed manually during the design
or implementation phase of software projects and is known to cause
inconsistencies. Despite extensive research on consistency checking,
existing approaches either provide abstract (i.e., incomplete) repairs
only, or they require manually predefined strategies on how to repair
inconsistencies. In this paper, we present a novel approach that
provides concrete (i.e., executable) repairs without the need of
predefined repair strategies. Furthermore, our approach proposes
functions which automate the generation of concrete repairs at runtime.
An empirical assessment of the approach on six case studies from
industry, academia and GitHub demonstrates its feasibility, and shows
that the provided concrete repairs are relevant and can fix their
corresponding inconsistencies automatically.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/apsec/KretschmerKDLE17},
crossref = {DBLP:conf/apsec/2017},
doi = {10.1109/APSEC.2017.52},
file = {:Conferences\\APSEC 2017 - From Abstract to Concrete Repairs of Model Inconsistencies an Automated Approach\\From Abstract to Concrete Repairs of Model Inconsistencies an Automated Approach-preprint.pdf:PDF},
keywords = {FWF P25289},
owner = {aegyed},
timestamp = {Wed, 28 Mar 2018 12:42:10 +0200},
url = {https://doi.org/10.1109/APSEC.2017.52},
}