Active
FLAMAPY
FLAMA is a Python-based AAFM (Automated Analysis of Feature Models) framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
FLAMAPY CONF
Web application providing tools to perform Interactive Configuration of Feature Models defined in UVL and other formats. It delegates execution of operations to a web worker that runs Flamapy via Pyodide (Python in the browser).
FLAMAPY IDE
Web application providing tools to perform Automated Analysis of Feature Models defined in UVL (Universal Variability Language). It delegates execution to a web worker running Flamapy compiled to WebAssembly/Pyodide in the browser.
UVL
UVL (Universal Variability Language) is a textual and formal language for modeling variability in software product lines. It allows features, relationships (mandatory, optional, alternative) and constraints to be described in a clear, readable and automatically processable way.
UVLHUB
Web platform for managing, publishing and exploring UVL models based on Open Science principles. A centralized repository where researchers and developers can upload, version, search and analyze variability models, supporting reuse, reproducibility and research.
PERFORMANCE TRACKER
Tool designed to track and compare different aspects of OSS repositories to assess their quality regarding performance metrics.
Prototype
TRANSFORMO
Framework to perform migrations between relational databases using software product lines, obtaining custom SQL scripts compatible with each other.
DEPEX
Tool to automate the extraction of the dependency graph attributed to a software project along with its vulnerabilities, to facilitate subsequent automatic analysis in search of security risks.
WEBSPL
Provides an interface for website modeling through different technologies, implementing a software product line of WordPress sites using an internal feature model. It delegates to FLAMA for feature model analysis.
FM FACT LABEL
Online web-based application that builds a feature-model characterization and generates its visualization as a fact label. Offers a web form to upload the FM and its metadata; currently UVL and FeatureIDE formats are supported.
SPL VISUALIZATION
An implementation of a software product line (SPL) for the visualization design process (VDP) that allows generating customized visualizations following the best design practices in data visualization.
Other
FAMA-FW
FaMa-FW is a framework for automated analysis of feature models integrating some of the most commonly used logic representations and solvers proposed in the literature (BDD, SAT and CSP solvers). FaMa is the first tool integrating different solvers for automated AAFM.
BETTY
BeTTy is an extensible and highly configurable framework supporting BEnchmarking and TesTing on the analYses of feature models. Written in Java and distributed as a jar file, facilitating integration into external projects.