Global Constraints on Feature Models


KARATAS A. S. , OGUZTUZUN H. , Dogru A. H.

16th Annual International Conference on the Principles and Practice of Constraint Programming, St Andrews, United Kingdom, 6 - 10 September 2010, vol.6308, pp.537-551 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • Volume: 6308
  • Doi Number: 10.1007/978-3-642-15396-9_43
  • City: St Andrews
  • Country: United Kingdom
  • Page Numbers: pp.537-551

Abstract

Feature modeling has been found very effective for modeling and managing variability in Software Product Lines. The nature of feature models invites, sometimes even requires, the use of global constraints. This paper lays the groundwork for the inclusion of global constraints in automated reasoning on feature models. We present a mapping from extended feature models to constraint logic programming over finite domains, and show that this mapping enables using global constraints on feature attributes, as well as features, for a variety of analysis operations on feature models. We also present performance test results and discuss the benefits of using global constraints.