Repositorio de producción científica de la Universidad de Sevilla

Automated Reasoning for Multi-step Feature Model Configuration Problems

 

Advanced Search
 
Opened Access Automated Reasoning for Multi-step Feature Model Configuration Problems
Cites
Show item statistics
Icon
Export to
Author: White, Jules
Dougherty, Brian
Schmidt, Douglas C.
Benavides Cuevas, David Felipe
Department: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Date: 2009
Published in: SPLC 2009: 13th International Software Product Line Conference (2009), p 11-20
Document type: Presentation
Abstract: The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing software reusability. One software reuse approach is to develop a Software Product-line (SPL), which is a reconfigurable software architecture that can be reused across projects. Creating configurations of the SPL that meets arbitrary requirements is hard. Existing research has focused on techniques that produce a configuration of the SPL in a single step. This paper provides three contributions to the study of multi-step configuration for SPLs. First, we present a formal model of multi-step SPL configuration and map this model to constraint satisfaction problems (CSPs). Second, we show how solutions to these CSP configuration problem CSPs can be derived automatically with a constraint solver. Third, we present empirical results demonstrating that our CSP-based technique can solve multi-step configuration problems involving hundreds of features in seconds.
Cite: White, J., Dougherty, B., Schmidt, D.C. y Benavides Cuevas, D.F. (2009). Automated Reasoning for Multi-step Feature Model Configuration Problems. En SPLC 2009: 13th International Software Product Line Conference (11-20), San Francisco, California, USA: ACM.
Size: 1.779Mb
Format: PDF

URI: http://hdl.handle.net/11441/65059

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)