Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Videos
Videos
Thesis submission
Thesis submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Contact us
Contact us
Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains
Date
2010-09-17
Author
KARATAS, Ahmet Serkan
OGUZTUZUN, Halit
Doğru, Ali Hikmet
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
6
views
0
downloads
Cite This
As feature models for realistic product families may be quite complicated, automated analysis of feature models is desirable. Although several approaches reported in the literature addressed this issue, complex feature-attribute and attribute-attribute relationships in extended feature models were not handled effectively. In this article, we introduce a mapping from extended feature models to constraint logic programming over finite domains. This mapping is used to translate basic, cardinality-based, and extended feature models, which may include complex feature-feature, feature-attribute and attribute-attribute cross-tree relationships, into constraint logic programs. It thus enables use of off-the-shelf constraint solvers for the automated analysis of extended feature models involving such complex relationships. We also briefly discuss the ramifications of including feature-attribute relationships in operations of analysis. We believe that this proposal will be effective for further leveraging of constraint logic programming for automated analysis of feature models.
Subject Keywords
Constraint logic programming
,
Feature attribute
,
Extended feature model
,
Variability modeling
URI
https://hdl.handle.net/11511/37917
DOI
https://doi.org/10.1007/978-3-642-15579-6_20
Collections
Department of Computer Engineering, Conference / Seminar
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
A. S. KARATAS, H. OGUZTUZUN, and A. H. Doğru, “Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains,” 2010, vol. 6287, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/37917.