RT Journal Article
T1 Transforming numerical feature models into propositional formulas and the universal variability language
A1 Muñoz-Guerra, Daniel Jesús
A1 Pinto-Alarcón, Mónica
A1 Fuentes-Fernández, Lidia
A1 Batory, Don
K1 Ingeniería del software
AB Real-world Software Product Lines (SPLs) need Numerical Feature Models (NFMs) whose features have not only boolean values that satisfy boolean constraints but also have numeric attributes that satisfy arithmetic constraints. An essential operation on NFMs finds near-optimal performing products, which requires counting the number of SPL products. Typical constraint satisfaction solvers perform poorly on counting and sampling.Nemo (Numbers, features, models) is a tool that supports NFMs by bit-blasting, the technique that encodes arithmetic expressions as boolean clauses. The newest version, Nemo2, translates NFMs to propositional formulas and the Universal Variability Language (UVL). By doing so, products can be counted efficiently by #SAT and Binary Decision Tree solvers, enabling finding near-optimal products.This article evaluates Nemo2 with a large set of synthetic and colossal real-world NFMs, including complex arithmetic constraints and counting and sampling experiments. We empirically demonstrate the viability of Nemo2 when counting and sampling large and complex SPLs.
PB Elsevier
YR 2023
FD 2023
LK https://hdl.handle.net/10630/27069
UL https://hdl.handle.net/10630/27069
LA eng
NO Daniel-Jesus Munoz, Mónica Pinto, Lidia Fuentes, Don Batory, Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language, Journal of Systems and Software, Volume 204, 2023, 111770, ISSN 0164-1212, https://doi.org/10.1016/j.jss.2023.111770.
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, Spain funds LEIA UMA18-FEDERJA-15, IRIS PID2021-122812OB-I00 (MCI/AEI), and the PRE2019-087496 grant from the Ministerio de Ciencia e Innovación. Funding for open access charge: Universidad de Málaga / CBUA.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 4 mar 2026