RT Journal Article
T1 Defining Categorical Reasoning of Numerical Feature Models with Feature-Wise and Variant-Wise Quality Attributes
A1 Muñoz-Guerra, Daniel Jesús
A1 Pinto-Alarcón, Mónica
A1 Gurov, Dilian
A1 Fuentes-Fernández, Lidia
K1 Soporte lógico
AB Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis tools are rare, mainly because in existing solutions variability and quality information are not unified under the same model.In this paper, we make use of the Quality Variability Model (QVM), based on Category Theory (CT), to redefine reasoning operations. We start defining and composing the six most commonoperations in SPL, but now as quality-based queries, which tend to be unavailable in other approaches. Consequently, QVM supports interactions between variant-wise and feature-wise quality attributes. As a proof of concept,we present, implement and execute the operations as lambda reasoning for CQL IDE – the state-of-theart CT tool.
PB ACM
YR 2022
FD 2022
LK https://hdl.handle.net/10630/25193
UL https://hdl.handle.net/10630/25193
LA eng
NO Daniel-Jesus Munoz, Mónica Pinto, Dilian Gurov, and Lidia Fuentes. 2022. Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes. In Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B (SPLC '22). Association for Computing Machinery, New York, NY, USA, 132–139. https://doi.org/10.1145/3503229.3547057
NO Munoz, Pinto and Fuentes work is supported by the European Union’s H2020 research and innovation programme under grantagreement DAEMON 101017109, by the projects co-financed by FEDER funds LEIA UMA18-FEDERJA-15, MEDEA RTI2018-099213-B-I00 and Rhea P18-FR-1081 and the PRE2019-087496 grant from the Ministerio de Ciencia e Innovación.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026