Tool Support for Incremental Consistency Checking on Variability Models.

Vierhauser, Michael; Dhungana, Deepak; Heider, Wolfgang; Rabiser, Rick; Egyed, Alexander

Tool Support for Incremental Consistency Checking on Variability Models.

by Michael Vierhauser, Deepak Dhungana, Wolfgang Heider, Rick Rabiser, Alexander Egyed

Abstract:

The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies. In this paper, we describe our initial results towards tool support for incremental consistency checking on variability models. The main aim of our research is to improve the overall performance and scalability of consistency checking. We report on experiences of integrating an existing incremental consistency checker in the DOPLER product line tool suite.

View PDF

Reference:

Michael Vierhauser, Deepak Dhungana, Wolfgang Heider, Rick Rabiser, Alexander Egyed, "Tool Support for Incremental Consistency Checking on Variability Models.", pp. 171-174, 2010.

Bibtex Entry:

@Workshop{DBLP:conf/vamos/VierhauserDHRE10,
  Title                    = {Tool Support for Incremental Consistency Checking on Variability Models.},
  Author                   = {Michael Vierhauser and Deepak Dhungana and Wolfgang Heider and Rick Rabiser and Alexander Egyed},
  Booktitle                = {4th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS), Linz, Austria},
  Year                     = {2010},

  Abstract                 = {The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies. In this paper, we describe our initial results towards tool support for incremental consistency checking on variability models. The main aim of our research is to improve the overall performance and scalability of consistency checking. We report on experiences of integrating an existing incremental consistency checker in the DOPLER product line tool suite.},
  Pages                    = {171-174},

  File                     = {Tool Support for Incremental Consistency Checking on Variability Models:Workshops\\VAMOS 2010 - Tool Support for Incremental Consistency Checking on Variability Models\\Tool Support for Incremental Consistency Checking on Variability Models.pdf:PDF},
  Keywords                 = {variability, consistency, FWF P21321-N15},
  Url                      = {http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf}
}