Ponencia
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
Autor/es | Vidal Silva, Cristian
Galindo Duarte, José Ángel Giráldez Cru, Jesús Benavides Cuevas, David Felipe |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2020 |
Fecha de depósito | 2021-10-22 |
Publicado en |
|
ISBN/ISSN | 978-3-030-67147-1 |
Resumen | The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those which use modern constraint satisfaction solvers, perform a complete search, making them unsuitable ... The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those which use modern constraint satisfaction solvers, perform a complete search, making them unsuitable on large-scale configurations. In this work, we propose an approach to define the completion of a partial configuration like a diagnosis task to solve it by applying the FastDiag algorithm, an efficient solution for preferred minimal diagnosis (updates) in the analyzed partial configuration. We evaluate our proposed method in the completion of partial configurations of random medium and large-size features models and the completion of partial configurations of a feature model of an adapted version of the Ubuntu Xenial OS. Our experimental analysis shows remarkable improvements in our solution regarding the use of classical CSP-based approaches for the same tasks. |
Agencias financiadoras | Ministerio de Ciencia, Innovación y Universidades (MICINN). España Agencia Estatal de Investigación. España |
Identificador del proyecto | RTI2018-101204-B-C22
RTI2018-101204-B-C22 |
Cita | Vidal Silva, C., Galindo Duarte, J.Á., Giráldez Cru, J. y Benavides Cuevas, D.F. (2020). Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. En ISMIS 2020: 25th International Symposium on Methodologies for Intelligent Systems (107-117), Graz, Austria: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Automated completion of partial ... | 601.5Kb | [PDF] | Ver/ | |