UVL web-based editing and analysis with flamapy.ide
Francisco Sebastian Benitez, José Á. Galindo, David Romero-Organvídez, David Benavides · 2025
Feature modeling is widely used to represent variability in software systems, but as feature models grow in size and complexity, manual analysis becomes infeasible.Automated Analysis of Feature Models (AAFM) is a set of tools and algorithms that enable the computeraided analysis of such models.Recently, the AAFM community has made an effort to enable the interoperability of tools by means of the UVL language, however, most of the supporting tools need to execute the operations in a server.This have two main drawbacks, first it requires users to upload the model to remote servers, imposing security concerns and second, limits the complexity of the operations that an online tool can offer.In this paper, we introduce flamapy.ide, an integrated development environment (IDE) based on the flamapy framework, and designed to perform AAFM directly within the browser by relying on WASM technologies.flamapy.ideprovides SAT and BDD solvers for efficient feature model analysis and offers support for handling UVL files.Also, enables the configuration and visualization of such models relying on a fully client-side approach.This tool brings AAFM capabilities to web-based platforms, eliminating the need for server-side computation while ensuring ease of use and accessibility.