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, İskoçya, 6 - 10 Eylül 2010, cilt.6308, ss.537-551 identifier identifier

  • Cilt numarası: 6308
  • Doi Numarası: 10.1007/978-3-642-15396-9_43
  • Basıldığı Şehir: St Andrews
  • Basıldığı Ülke: İskoçya
  • Sayfa Sayıları: ss.537-551

Özet

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.