From extended feature models to constraint logic programming

Date

2013-12-01

Author

KARATAS, Ahmet Serkan
Oğuztüzün, Mehmet Halit S.
Dogru, Ali

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

0
views

0
downloads

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.

Subject Keywords

Variability modeling, Extended feature model, Feature attribute, Constraint logic programming

URI

https://hdl.handle.net/11511/41906

Collections

Department of Computer Engineering, Article