Tools

Active tools

All our tools are available in the Diverso-Lab organization within GitHub. There you can see what projects we are working on and keep up to date with the latest news.

 

GitHub: https://github.com/diverso-lab

FLAMAPY

FLAMA is a Python-based AAFM 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.

Web: https://www.flamapy.org
GitHub: https://github.com/flamapy/

FLAMAPY CONF

Flamapy.conf consists of a web application that provides users with tools to perform Interactive Configuration of Feature Models defined in UVL and other formats. To accomplish this task, it delegates the execution of operations to a web worker that runs Flamapy via Pyodide (Python compiled to WebAssembly). Thanks to this, flamapy.conf runs completely on your browser, without the need for a Backend server to perform configuration operations, or installation of external tools on your machine.

Web: https://www.flamapy.org

GitHub: https://github.com/flamapy/flamapy.conf

FLAMAPY IDE

FlamapyIDE consists of a web application that provides users with tools to perform Automated Analysis of Feature Models defined in UVL (Universal Variability Language). To accomplish this task, it delegates the execution of operations to a web worker that runs Flamapy compiled to webAssembly. Thanks to this, FlamapyIDE runs completely on your browser, without the need for a Backend server to perform AAFM operations, or installation of external tools on your machine.

Web: https://www.flamapy.org

GitHub: https://github.com/flamapy/flamapy-ide

logo_uvl

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, facilitating the analysis, validation, and evolution of feature models.

Web: https://universal-variability-language.github.io/

UVLHUB

UVLHub is a web platform for managing, publishing, and exploring UVL models based on Open Science principles. It acts as a centralized repository where researchers and developers can upload, version, search, and analyze variability models, supporting reuse, reproducibility, and research in Software Product Lines.

Web: https://www.uvlhub.io/

GitHub: https://github.com/diverso-lab/uvlhub

PERFORMANCE TRACKER

Performance Tracker is a tool designed to track and compare different aspects of OSS repositories to asses its quality regarding performance metrics.

GitHub: https://github.com/diverso-lab/performance-tracker

Server: https://github.com/diverso-lab/performance-tracker-server

Plugin: https://github.com/diverso-lab/performance-tracker-plugin

Prototype tools

TRANSFORMO

Transformo is a framework with which you can perform migrations between relational databases using software product lines, obtaining custom SQL scripts compatible with each other.

GitHub: https://github.com/diverso-lab/transformo

DEPEX

Depex is a tool to automate the extraction of the dependency graph attributed to a software project along with its vulnerabilities, in order to facilitate the subsequent automatic analysis in search of security risks.

GitHub: https://github.com/GermanMT/depex

WEBSPL

WebSPL provides an interface for website modeling through different technologies. WebSPL implements a software product line of WordPress sites making use of an internal feature model. To do so, the tool delegates to FLAMA, a feature model analysis tool for the Python ecosystem, the validation, and automatically deploys the websites taking into account domain information.

GitHub: https://github.com/diverso-lab/webspl

FM FACT LABEL

FM Fact Label is an online web-based application that builds an FM characterization and generates its visualization as a fact label. It offers a web service providing an online form to upload the FM and its metadata. Currently, UVL and FeatureIDE formats are supported.

GitHub: https://github.com/jmhorcas/fm_characterization

SPL VISUALIZATION

An implementation of the software product line (SPL) for the visualization design process (VDP) that allows generating customized visualizations following the best design practices in data visualization.

GitHub: https://github.com/diverso-lab/spl_visualization_design

Other tools

FAMA-FW

FaMa-FW is a Framework for automated analyses of feature models integrating some of the most commonly used logic representations and solvers proposed in the literature (BDD, SAT and CSP solvers are implemented). FaMa is the first tool integrating different solvers for the automated analyses of feature models. .
 

GitHub:  https://github.com/diverso-lab/FaMA

BETTY

BeTTy is an extensible and highly configurable framework supporting BEnchmarking and TestTing on the analYses of feature models. It is written in Java and is distributed as a jar file facilitating its integration into external projects.
 

GitHub: https://github.com/isa-group/BeTTy