Article
A Monte Carlo tree search conceptual framework for feature model analyses
Author/s | Horcas Aguilera, José Miguel
Galindo Duarte, José Ángel Heradio, Ruben Fernández Amorós, David Benavides Cuevas, David Felipe |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2023-01 |
Deposit Date | 2024-01-26 |
Abstract | 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. |
Funding agencies | Ministerio de Economía y Competitividad (MINECO). España Junta de Andalucía Universidad Nacional de Educación a Distancia |
Project ID. | OPHELIA (RTI2018-101204-B-C22)
COPERNICA (P20_01224) METAMORFOSIS (FEDER_US-1381375) 096-034091 2021V/PUNED/008 (OPTIVAC) |
Files | Size | Format | View | Description |
---|---|---|---|---|
Montecarlo.pdf | 7.387Mb | [PDF] | View/ | |
This item appears in the following collection(s)
This document is protected by intellectual and industrial property rights. Without prejudice to existing legal exemptions, its reproduction, distribution, public communication or transformation is prohibited without the authorization of the rights holder, unless otherwise indicated.