VARIABILITY 2026
Tue 29 September - Fri 2 October 2026
Tue 29 Sep 2026 14:00 - 14:15 at MEGARON GAMMA - Extensions

VariabLens is an open-source tool that provides an interactive and extensible environment for analyzing feature models (FMs), combining established variability analysis techniques with configurable large language models (LLMs). The tool allows users to upload models expressed in the Universal Variability Language (UVL), including models available from UVLHub, select LLMs for interaction, and explore models through a conversational interface. VariabLens integrates Model Context Protocol (MCP)-based tool execution to ensure that formal operations, such as the computation of metrics including atomic sets and average branching factor, are performed reliably while enabling LLM-driven explanations and summaries. In addition, the tool supports the simultaneous analysis of multiple FMs, facilitating comparison through both structural metrics and semantic insights. To support extensibility, VariabLens incorporates an MCP-based architecture in which a dedicated MCP client coordinates tool execution between LLMs and external analysis services. The platform includes a preconfigured but extensible MCP server exposing UVL-based variability analysis operations, such as metric computation and constraint analysis, through Flamapy-based tools, while enabling the integration of additional domain-specific services and tasks. Although the current implementation focuses on UVL, the architecture is designed to accommodate additional variability modeling formats. By bridging formal FM analysis and AI-driven interaction, VariabLens provides a practical environment for both researchers and practitioners. A video demonstration of the tool is shown in the following link: https://zenodo.org/records/20434200

Tue 29 Sep

Displayed time zone: Athens change

14:00 - 15:30
ExtensionsMODEVAR at MEGARON GAMMA
14:00
15m
Talk
VariabLens: LLM-Enhanced Interactive Feature Model Analysis and Comparison
MODEVAR
Victor Lamas Universidade da Coruña, CITIC, Database Lab, Miguel Rodríguez Luaces Universidade da Coruña, CITIC, Database Lab, Daniel Garcia-Gonzalez Universidade da Coruña, CITIC, Database Lab
14:15
15m
Talk
A Unified Visual Representation of UVL Models in Scientific Literature: The uvlhighlight Package
MODEVAR
José Miguel Horcas Aguilera Universidad de Málaga, Chico Sundermann TU Braunschweig
14:30
15m
Talk
mech-uvl: A Mechanized Semantic Toolkit for the Universal Variability Language
MODEVAR
Frederic Loulergue Université d'Orléans, Jolan Philippe University of Orléans -- LIFO, Nicolas Paul University of Orléans -- LIFO
14:45
15m
Talk
Configurable Scheduling Problems: Modeling and Anomaly Detection
MODEVAR
Mathis Weiß University of Siegen, Eric Stepping University of Siegen, Max Breit University of Siegen, Malte Lochau
15:00
15m
Other
Collection of Discussion Topics for Discussion
MODEVAR
Victor Lamas Universidade da Coruña, CITIC, Database Lab, Mathis Weiß University of Siegen
15:15
15m
Talk
Existing Extension Proposals
MODEVAR
Kevin Feichtinger Karlsruhe Institute of Technology (KIT), Chico Sundermann TU Braunschweig