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
Global Constraints on Feature Models
Date
2010-09-10
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
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.
Subject Keywords
Global constraints
,
Feature models
,
Constraint logic programming over finite domains
URI
https://hdl.handle.net/11511/35376
DOI
https://doi.org/10.1007/978-3-642-15396-9_43
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, “Global Constraints on Feature Models,” 2010, vol. 6308, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/35376.