2026-06-01T02:16:59Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/276702026-02-03T12:00:16Zcom_10630_2254col_10630_37959

Analysis and optimisation of SPL products using goal models. Ayala-Viñas, Inmaculada Amor-Pinilla, María Mercedes Fuentes-Fernández, Lidia Programación lineal Soporte lógico - Desarrollo The Internet of Things is one of the core drivers of variability modelling and requires explicit mechanisms to manage it. A key technology for addressing this variability is product line engineering. This approach uses a reference architecture to establish a well-designed set of assets that fit together, the Software Product Line (SPL). One of the limitations of variability models is they do not provide information about the quality of new products or how they achieve stakeholder requirements. Several approaches tackle this issue by integrating variability models with goal models. The main challenge is conciliating the different variability perspectives to make the joint use of both models possible without the loss of information or alterations to the models’ semantics. In this work, we present a framework for analysing and optimising SPL products considering stakeholders’ requirements that respects the semantics of both models. The framework is based on Integer Linear Programming (ILP), a field of mathematical programming. Variability and goal models are formalised as a set of linear constraints and are linked using mapping functions. As a proof of concept, we present a tool that takes both models and mapping functions to generate an ILP problem that can be solved using Matlab. 2023-09-26T11:13:48Z 2023-09-26T11:13:48Z 2023-09-26T11:13:48Z 2023 conference output https://hdl.handle.net/10630/27670 eng 31st IEEE International Requirements Engineering 2023 conference Hannover, Alemania 04/09/2023 http://creativecommons.org/licenses/by-nc-nd/4.0/ open access Attribution-NonCommercial-NoDerivatives 4.0 Internacional