dc.creator | Vidal Silva, Cristian | es |
dc.creator | Galindo Duarte, José Ángel | es |
dc.creator | Giráldez Cru, Jesús | es |
dc.creator | Benavides Cuevas, David Felipe | es |
dc.date.accessioned | 2021-10-22T10:46:04Z | |
dc.date.available | 2021-10-22T10:46:04Z | |
dc.date.issued | 2020 | |
dc.identifier.citation | 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. | |
dc.identifier.isbn | 978-3-030-67147-1 | es |
dc.identifier.uri | https://hdl.handle.net/11441/126781 | |
dc.description.abstract | 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. | es |
dc.description.sponsorship | Ministerio de Ciencia, Innovación y Universidades RTI2018-101204-B-C22 | es |
dc.description.sponsorship | Agencia Estatal de Investigación TIN2017-90644-REDT | es |
dc.format | application/pdf | es |
dc.format.extent | 11 | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | ISMIS 2020: 25th International Symposium on Methodologies for Intelligent Systems (2020), pp. 107-117. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Partial configuration | es |
dc.subject | Completion | es |
dc.subject | FastDiag | es |
dc.title | Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | RTI2018-101204-B-C22 | es |
dc.relation.projectID | RTI2018-101204-B-C22 | es |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-030-67148-8_9 | es |
dc.identifier.doi | 10.1007/978-3-030-67148-8_9 | es |
dc.publication.initialPage | 107 | es |
dc.publication.endPage | 117 | es |
dc.eventtitle | ISMIS 2020: 25th International Symposium on Methodologies for Intelligent Systems | es |
dc.eventinstitution | Graz, Austria | es |
dc.relation.publicationplace | Cham, Switzerland | es |
dc.contributor.funder | Ministerio de Ciencia, Innovación y Universidades (MICINN). España | es |
dc.contributor.funder | Agencia Estatal de Investigación. España | es |