Artículo
A Monte Carlo tree search conceptual framework for feature model analyses
Autor/es | Horcas Aguilera, José Miguel
Galindo Duarte, José Ángel Heradio, Ruben Fernández Amorós, David Benavides Cuevas, David Felipe |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2023-01 |
Fecha de depósito | 2024-01-26 |
Resumen | Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0 expose highly variable systems with colossal configuration spaces. The automated analysis of those systems’ variability has often ... Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0 expose highly variable systems with colossal configuration spaces. The automated analysis of those systems’ variability has often relied on SAT solving and constraint programming. However, many of the analyses have to deal with the uncertainty introduced by the fact that undertaking an exhaustive exploration of the whole configuration space is usually intractable. In addition, not all analyses need to deal with the configuration space of the feature models, but with different search spaces where analyses are performed over the structure of the feature models, the constraints, or the implementation artifacts, instead of configurations. This paper proposes a conceptual framework that tackles various of those analyses using Monte Carlo tree search methods, which have proven to succeed in vast search spaces (e.g., game theory, scheduling tasks, security, program synthesis, etc.). Our general framework is formally described, and its flexibility to cope with a diversity of analysis problems is discussed. We provide a Python implementation of the framework that shows the feasibility of our proposal, identifying up to 11 lessons learned, and open challenges about the usage of the Monte Carlo methods in the software product line context. With this contribution, we envision that different problems can be addressed using Monte Carlo simulations and that our framework can be used to advance the state-of-the-art one step forward. |
Agencias financiadoras | Ministerio de Economía y Competitividad (MINECO). España Junta de Andalucía Universidad Nacional de Educación a Distancia |
Identificador del proyecto | OPHELIA (RTI2018-101204-B-C22)
COPERNICA (P20_01224) METAMORFOSIS (FEDER_US-1381375) 096-034091 2021V/PUNED/008 (OPTIVAC) |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Montecarlo.pdf | 7.387Mb | [PDF] | Ver/ | |
Este registro aparece en las siguientes colecciones
Este documento está protegido por los derechos de propiedad intelectual e industrial. Sin perjuicio de las exenciones legales existentes, queda prohibida su reproducción, distribución, comunicación pública o transformación sin la autorización del titular de los derechos, a menos que se indique lo contrario.