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

 

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://flamapy.github.io/

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

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 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.
 
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 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

 

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 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 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