From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach (bibtex)
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},
}
Powered by bibtexbrowser