Ponencia
Automated Reasoning for Multi-step Feature Model Configuration Problems
Autor/es | White, Jules
Dougherty, Brian Schmidt, Douglas C. Benavides Cuevas, David Felipe |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2009 |
Fecha de depósito | 2017-10-06 |
Publicado en |
|
Resumen | 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 ... 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. |
Agencias financiadoras | Comisión Interministerial de Ciencia y Tecnología (CICYT). España Junta de Andalucía |
Identificador del proyecto | TIN2006-00472
TIC-2533 |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Automated reasoning for multi- ... | 1.779Mb | [PDF] | Ver/ | |