RT Conference Proceedings
T1 Extended Variability Models, Algebra, and Arithmetic
A1 Muñoz-Guerra, Daniel Jesús
A1 Pinto-Alarcón, Mónica
A1 Fuentes-Fernández, Lidia
K1 Modelos matemáticos
AB Although classic variability models have been traditionally used to specify members of a product-line, their level of expressiveness was quite limited. Several extensions have been proposed, like numerical features, complex cardinalities and feature and configuration attributes. However, modern tools often provide limited support to these extensions. Imposing variability modelling restrictions into general theories enables off-the-self automated reasoners to analyse extended variability models. While one could argue that those general theories are less reasoning efficient, in practice happen the same if we extend traditional solvers. In contrast, general theories provide new properties with the potential to a) improve reasoning efficiency above extending traditional solvers, and b) provide exotic analyses that uncover new properties of the variability models and feature and configuration spaces. Examples of this could be the functions commutativity property, (reasoning) functors composition, and the fundamental theorem of calculus applied to feature or configuration space.
YR 2023
FD 2023
LK https://hdl.handle.net/10630/26604
UL https://hdl.handle.net/10630/26604
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026