From extended feature models to constraint logic programming

KARATAS A. S., Oguztuzun H., Dogru A. H.

SCIENCE OF COMPUTER PROGRAMMING, cilt.78, sa.12, ss.2295-2312, 2013 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 78 Sayı: 12
  • Basım Tarihi: 2013
  • Doi Numarası: 10.1016/j.scico.2012.06.004
  • Dergi Adı: SCIENCE OF COMPUTER PROGRAMMING
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.2295-2312
  • Anahtar Kelimeler: Variability modeling, Extended feature model, Feature attribute, Constraint logic programming, VARIABILITY
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

Since feature models for realistic product families may be quite complicated, the automated analysis of feature models is desirable. Although several approaches reported in the literature address this issue, complex cross-tree relationships involving attributes in extended feature models have not been handled. In this article, we introduce a mapping from extended feature models to constraint logic programming over finite domains. This mapping is used to translate into constraint logic programs; basic, cardinality-based and extended feature models, which can include complex cross-tree relationships involving attributes. This translation enables the use of off-the-shelf constraint solvers for the automated analysis of extended feature models involving such complex relationships. We also present the performance results of some well-known analysis operations on an example translated model. (C) 2012 Elsevier B.V. All rights reserved.