No result found

Please try again with a different query

Mode

Light

Dark

System

Cite us!

Download all

UVL

Glencoe

DIMACS

SPLOT

Download

Explore

Dashboard

Team

Generate models

Let's get started!

Login

Sign up

v2.5.2

Restaurant domain

1. Home
2. Restaurant domain
3. PizzeriaLaTradizionale.uvl

Conference Paper

View Zenodo publication View associated publication

DOI /doi/10.5281/zenodo.17302643

http://www.uvlhub.io/doi/10.5281/zenodo.17302643

Name
Bausatz_2025_Ingredients.uvl
Bausatz_2025_DrinkMix.uvl
Turkish_2025_Ingredients.uvl
Bausatz_2025_Potatoes.uvl
Bausatz_2022_Desserts.uvl
JustSalad_2025_Bowl.uvl
Bausatz_2025_ToastedBread.uvl
Bausatz_2025_Pasta.uvl
Bibra_2025_Pokebowls.uvl
Bibra_2025_Salad.uvl
Bausatz_2025_Burgers.uvl
LaGondolaDeYdai_Pizza.uvl
JustSalad_2025_Bases.uvl
FiveGuys_2024.uvl
JustSalad_2025_Essentials.uvl
Bausatz_2025_ScrambledEggs.uvl
Bausatz_2025_Pizzas.uvl
Bibra_2025_FinalTouch.uvl
Bibra_2025_Wraps.uvl
JustSalad_2025_Other.uvl
JustSalad_2025_Cheese.uvl
JustSalad_2025_Proteins.uvl
Bausatz_2025_Salads.uvl
Turkish_2025_Pizzas.uvl
Bibra_2025_Ingredients.uvl
JustSalad_2025_Salad.uvl
JustSalad_2025_Wraps.uvl
NamasteRincon_Pizza.uvl
JustSalad_2025_Greens.uvl
Bausatz_2025_Spirits.uvl
Ohana_2022_Salad.uvl
JustSalad_2025_Premiums.uvl
Bibra_2025_Proteins.uvl
Ohana_2022_Burger.uvl
LaGalerna_2020_Sandwiches.uvl
JustSalad_2025.uvl
Bausatz_2022_Burgers.uvl
Bibra_2025_Marinades.uvl
Bausatz_2025_Desserts.uvl
Bibra_2025_Dressings.uvl
Bibra_2025.uvl
LaGalerna_2020_Burgers.uvl
Bausatz_2025_Pfandl.uvl
Fuengirola_Pizzas.uvl
Ohana_2022_Poke.uvl
PizzeriaLaTradizionale.uvl
Bibra_2025_Bases.uvl
LaGalerna_2020_Salads.uvl
LaGalerna_2023_Salads.uvl
JustSalad_2025_Dressings.uvl
Turkish_2025_Kebab.uvl
JustSalad_2025_Additions.uvl
Turkish_2025_Calzone.uvl

Download all dataset (75.29 KB)

UVL

Glencoe

DIMACS

SPLOT

Download

•   PizzeriaLaTradizionale.uvl
• Export
  • UVL
  • Glencoe
  • DIMACS
  • SPLOT
• 

Copy

features
    Pizza {Alergens {Cereals, Milk, Sulphites}, Units {Price 'euro', size 'cm'}, constraint Price == sum(Price, Pizza)}
        optional
            Size {abstract}
                alternative
                    Medium {size 35, Price 8.50}
                    Big {size 50, Price 11.00}
                    Integer Portions {constraints [Portions.Price == Portions * 2.00, 1 <= Portions & Portions < 8 & Portions => Ingredients.Price == 0]}
            Calzone {Price 10.00}
            Vegan
        mandatory
            Base {abstract}
                optional
                    Tomato
                mandatory
                    Mozzarella
                    Oregano
            Ingredients cardinality [1..*] {abstract, Price 1.00}
                alternative
                    Bacon
                    Ham
                    Chorizo
                    "Serrano ham"
                    Beef
                    Chicken
                    Peppers
                    Onion
                    Mushrooms
                    "Lamb's lettuce"
                    "Fresh tomato"
                    Egg
                    Anchovies
                    Capers
                    Olives
                    Tuna
                    Pineapple
                    Parmesan
                    Gorgonzola
                    Emmental
                    "Barbecue sauce"
                    "Carbonara sauce"
                    Cream
                    "Fresh longaniza"
                    Rocket
                    Eggplant
                    "Caramelized onion"
                    Spinach
                    Pepperoni
            Integer OrderNum
            String CustomerName
constraints
    Calzone => !Size
    !Calzone => Size
    Calzone => Tomato & Ham & Mushrooms & Egg
    Calzone => !(Bacon | Chorizo | "Serrano ham" | Beef | Chicken | Peppers | Onion | Mushrooms | "Lamb's lettuce" | "Fresh tomato" | Anchovies | Capers | Olives | Tuna | Pineapple | Parmesan | Gorgonzola | Emmental | "Barbecue sauce" | "Carbonara sauce" | Cream | "Fresh longaniza" | Rocket | Eggplant | "Caramelized onion" | Spinach | Pepperoni)
    Big => Ingredients.Price == 1.50
    len(CustomerName) > 0
    OrderNum > 0

Open

Collapse zero values

Collapse sub-properties

Metric Details

Copy

2025© University of Seville · University of Malaga · University of Ulm

•  Repository on GitHub

@article{romero2024_uvlhub_open_science,
    title = {UVLHub: A feature model data repository using UVL and open science principles},
    journal = {Journal of Systems and Software},
    pages = {112150},
    year = {2024},
    issn = {0164-1212},
    doi = {https://doi.org/10.1016/j.jss.2024.112150},
    url = {https://www.sciencedirect.com/science/article/pii/S016412122400195X},
    author = {David Romero-Organvidez and José A. Galindo and Chico Sundermann and Jose-Miguel Horcas and David Benavides},
    keywords = {Feature models, Software product line, Variability, Dataset, Uvl}
}

TY  - JOUR
T1  - UVLHub: A feature model data repository using UVL and open science principles
AU  - Romero-Organvidez, David
AU  - Galindo, José A.
AU  - Sundermann, Chico
AU  - Horcas, Jose-Miguel
AU  - Benavides, David
JO  - Journal of Systems and Software
SP  - 112150
PY  - 2024
DA  - 2024/07/01/
SN  - 0164-1212
DO  - https://doi.org/10.1016/j.jss.2024.112150
UR  - https://www.sciencedirect.com/science/article/pii/S016412122400195X
KW  - Feature models
KW  - Software product line
KW  - Variability
KW  - Dataset
KW  - Uvl

David Romero-Organvidez, José A. Galindo, Chico Sundermann, Jose-Miguel Horcas, David Benavides,
UVLHub: A feature model data repository using UVL and open science principles,
Journal of Systems and Software,
2024,
112150,
ISSN 0164-1212,
https://doi.org/10.1016/j.jss.2024.112150.
(https://www.sciencedirect.com/science/article/pii/S016412122400195X)
Keywords: Feature models; Software product line; Variability; Dataset; Uvl

Romero-Organvidez, D., Galindo, J. A., Sundermann, C., Horcas, J.-M., & Benavides, D. (2024). UVLHub: A feature model data repository using UVL and open science principles. Journal of Systems and Software, 2024, 112150. https://doi.org/10.1016/j.jss.2024.112150

@article{benavides2024uvl,
    title = {UVL: Feature modelling with the Universal Variability Language},
    journal = {Journal of Systems and Software},
    volume = {225},
    pages = {112326},
    year = {2025},
    issn = {0164-1212},
    doi = {https://doi.org/10.1016/j.jss.2024.112326},
    url = {https://www.sciencedirect.com/science/article/pii/S0164121224003704},
    author = {David Benavides and Chico Sundermann and Kevin Feichtinger and José A. Galindo and Rick Rabiser and Thomas Thüm},
    keywords = {Feature model, Software product lines, Variability},
}      

TY  - JOUR
T1  - UVL: Feature modelling with the Universal Variability Language
AU  - Benavides, David
AU  - Sundermann, Chico
AU  - Feichtinger, Kevin
AU  - Galindo, José A.
AU  - Rabiser, Rick
AU  - Thüm, Thomas
JO  - Journal of Systems and Software
VL  - 225
SP  - 112326
PY  - 2025
DA  - 2025/07/01/
SN  - 0164-1212
DO  - https://doi.org/10.1016/j.jss.2024.112326
UR  - https://www.sciencedirect.com/science/article/pii/S0164121224003704
KW  - Feature model
KW  - Software product lines
KW  - Variability

David Benavides, Chico Sundermann, Kevin Feichtinger, José A. Galindo, Rick Rabiser, Thomas Thüm,
UVL: Feature modelling with the Universal Variability Language,
Journal of Systems and Software,
Volume 225,
2025,
112326,
ISSN 0164-1212,
https://doi.org/10.1016/j.jss.2024.112326.
(https://www.sciencedirect.com/science/article/pii/S0164121224003704)
Keywords: Feature model; Software product lines; Variability

Benavides, D., Sundermann, C., Feichtinger, K., Galindo, J. A., Rabiser, R., & Thüm, T. (2025). UVL: Feature modelling with the Universal Variability Language. Journal of Systems and Software, 225, 112326. https://doi.org/10.1016/j.jss.2024.112326