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

2
views

0
downloads

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

Collections

Department of Computer Engineering, Conference / Seminar