Towards fixing inconsistencies in models with variability.

Lopez-Herrejon, Roberto E.; Egyed, Alexander

doi:10.1145/2110147.2110158

Towards fixing inconsistencies in models with variability.

by Roberto E. Lopez-Herrejon, Alexander Egyed

Abstract:

Recent years have witnessed a convergence between research in SPL and Model-Driven Engineering (MDE) that leverages the complementary capabilities that both paradigms can offer. A crucial factor for the success of MDE is the availability of effective support for detecting and fixing inconsistencies among model elements. The importance of such support is attested by the extensive literature devoted to the topic. However, when coupled with variability, the research focus has been devoted to inconsistency detection, while leaving the important issue of fixing the inconsistency largely unaddressed. In this research-in-progress paper, we explore one of the issues that variability raises for inconsistency fixing. Namely, in which features to locate the fixes. We compute what is the minimal number of fixes and use it as a baseline to compare fixes obtained with a heuristic based on feature model analysis and random approaches. Our work highlights the pros and cons of both approaches and suggests how they could be addressed.

Reference:

Roberto E. Lopez-Herrejon, Alexander Egyed, "Towards fixing inconsistencies in models with variability.", pp. 93-100, 2012.

Bibtex Entry:

@Workshop{DBLP:conf/vamos/Lopez-HerrejonE12,
  Title                    = {Towards fixing inconsistencies in models with variability.},
  Author                   = {Roberto E. Lopez-Herrejon and Alexander Egyed},
  Booktitle                = {5th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS), Leipzig, Germany},
  Year                     = {2012},

  Abstract                 = {Recent years have witnessed a convergence between research in SPL and Model-Driven Engineering (MDE) that leverages the complementary capabilities that both paradigms can offer. A crucial factor for the success of MDE is the availability of effective support for detecting and fixing inconsistencies among model elements. The importance of such support is attested by the extensive literature devoted to the topic. However, when coupled with variability, the research focus has been devoted to inconsistency detection, while leaving the important issue of fixing the inconsistency largely unaddressed. In this research-in-progress paper, we explore one of the issues that variability raises for inconsistency fixing. Namely, in which features to locate the fixes. We compute what is the minimal number of fixes and use it as a baseline to compare fixes obtained with a heuristic based on feature model analysis and random approaches. Our work highlights the pros and cons of both approaches and suggests how they could be addressed.},
  Pages                    = {93-100},

  Doi                      = {10.1145/2110147.2110158},
  File                     = {Towards fixing inconsistencies in models with variability:Workshops\\VAMOS 2012 - Managing SAT Inconsistencies with HUMUS\\TowardsFixingInconsistencies.pdf:PDF},
  Keywords                 = {consistency, variability, FWF P21321-N15, EU IEF 254965}
}