Skip to content

Third Tutorial on UVL (SPLC 2025)

UVL

Pizzeria.uvl

2.3 KB

Description

This dataset contains the feature models used for the Third Tutorial on the Universal Variability Language (UVL) given at SPLC 2025 in A Coruña, Spain. The model captures the complete variability of a real-world Pizzeria product line, including its menu items, ingredient options, and pricing logic. It serves as a comprehensive example, showcasing the full expressivity of the UVL, including the Boolean, Arithmetic, and Typed levels. The included models are the complete feature model and a version structured using imports. A related seminar on the UVL modeling approach (in Spanish) is available here: https://www.youtube.com/watch?v/fZjtmhmYoec .

Dataset fact label

What the fact labels of its 2 models say together.

Download the JSON
Models
Models3
Analysed2
Waiting for analysis1
UVL language
Boolean2
Arithmetic1
Arithmetic, feature cardinality1
Arithmetic, aggregate functions1
Type1
Size and structure
Size and structureLeastMedianMostTotal
Features 30 36.5 43 73
Leaf features 29 34 39 68
Cross-tree constraints 0 5.5 11 11
Depth of the tree 1 1.5 2
Groups 1 1.5 2 3
Analysis
Analysis
Satisfiable2 / 2
With dead features1
With false optional features1
Configurations29 … 360
Median194
Variability
Homogeneity16.1 %