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, Birleşik Krallık, 6 - 10 Eylül 2010, cilt.6308, ss.537-551 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 6308
  • Doi Numarası: 10.1007/978-3-642-15396-9_43
  • Basıldığı Şehir: St Andrews
  • Basıldığı Ülke: Birleşik Krallık
  • Sayfa Sayıları: ss.537-551
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Ö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.