Flexible and scalable consistency checking on product line variability models

by Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, Wolfgang Heider
Abstract:
The complexity of product line variability models makes it hard to maintain their consistency over time regardless of the modeling approach used. Engineers thus need support for detecting and resolving inconsistencies. We describe experiences of applying a tool-supported approach for incremental consistency checking on variability models. Our approach significantly improves the overall performance and scalability compared to batch-oriented techniques and allows providing immediate feedback to modelers. It is extensible as new consistency constraints can easily be added. Furthermore, the approach is flexible as it is not limited to variability models and it also checks the consistency of the models with the underlying code base of the product line. We report the results of a thorough evaluation based on real-world product line models and discuss lessons learned.
Reference:
Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, Wolfgang Heider, "Flexible and scalable consistency checking on product line variability models", ACM, pp. 63-72, 2010.
Bibtex Entry:
@Conference{DBLP:conf/kbse/VierhauserGERH10,
  Title                    = {Flexible and scalable consistency checking on product line variability models},
  Author                   = {Michael Vierhauser and Paul Grünbacher and Alexander Egyed and Rick Rabiser and Wolfgang Heider},
  Booktitle                = {Proceedings 25th IEEE/ACM Int'l Conference on Automated Software Engineering, ASE 2010, Antwerp, Belgium, September 20-24},
  Year                     = {2010},
  Editor                   = {Charles Pecheur and Jamie Andrews and Elisabetta Di Nitto},
  Pages                    = {63-72},
  Publisher                = {ACM},

  Abstract                 = {The complexity of product line variability models makes it hard to maintain their consistency over time regardless of the modeling approach used. Engineers thus need support for detecting and resolving inconsistencies. We describe experiences of applying a tool-supported approach for incremental consistency checking on variability models. Our approach significantly improves the overall performance and scalability compared to batch-oriented techniques and allows providing immediate feedback to modelers. It is extensible as new consistency constraints can easily be added. Furthermore, the approach is flexible as it is not limited to variability models and it also checks the consistency of the models with the underlying code base of the product line. We report the results of a thorough evaluation based on real-world product line models and discuss lessons learned.},
  Doi                      = {10.1145/1858996.1859009},
  File                     = {Flexible and Scalable Consistency Checking on Product Line Variability Models:Conferences\\ASE 2010 - Flexible and Scalable Consistency Checking on Product Line Variability Models\\Flexible and Scalable Consistency Checking on Product Line Variability Models.pdf:PDF},
  ISBN                     = {978-1-4503-0116-9},
  Keywords                 = {variability, consistency, FWF P21321-N15, CD Lab ASE}
}
Powered by bibtexbrowser