On Language Levels for Feature Modeling Notations Thomas Thm, - - PowerPoint PPT Presentation

▶

on language levels for feature modeling notations

On Language Levels for Feature Modeling Notations Thomas Thm, - - PowerPoint PPT Presentation

Jan 05, 2023 342 likes •711 views

On Language Levels for Feature Modeling Notations Thomas Thm, Christoph Seidl, Ina Schaefer MODEVAR, September 10, 2019 Part I The Need for Variability Modeling The Situation 110 Years Ago: Ford Model T Any customer can have a car

slide-1

SLIDE 1

On Language Levels for Feature Modeling Notations

Thomas Thüm, Christoph Seidl, Ina Schaefer MODEVAR, September 10, 2019

slide-2

SLIDE 2

Part I The Need for Variability Modeling

slide-3

SLIDE 3

The Situation 110 Years Ago: Ford Model T „Any customer can have a car painted any color that he wants so long as it is black.“ — Henry Ford, 1909

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 3

slide-4

SLIDE 4

Today: Every Second Car has a Unique Configuration

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 4

slide-5

SLIDE 5

Constraints Among Features are Challenging

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 5

slide-6

SLIDE 6

Constraints Among Features are Challenging

A car without Microsoft Office 365?!?

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 5

slide-7

SLIDE 7

Constraints Among Features are Challenging

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 6

slide-8

SLIDE 8

Constraints Among Features are Challenging

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 6

slide-9

SLIDE 9

Variability Models as Central Knowledge Database

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 7

slide-10

SLIDE 10

Part II The Need for Variability Analyses

slide-11

SLIDE 11

Real-World Variability Modeling

· · · · · ·

. . .

Thousands of features and constraints, increases over time No modularity or information hiding Temporal elements Typically not modeled with feature models

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 9

slide-12

SLIDE 12

One Product Line Specified with Different "Languages"

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 10

slide-13

SLIDE 13

Variability Modeling par Excellence

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

slide-14

SLIDE 14

Variability Modeling par Excellence

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

slide-15

SLIDE 15

Variability Modeling par Excellence

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

slide-16

SLIDE 16

Variability Modeling par Excellence

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

slide-17

SLIDE 17

Variability Modeling par Excellence

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

slide-18

SLIDE 18

Variability Modeling par Excellence

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

slide-19

SLIDE 19

Clone-and-Own of Variability Models

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 12

slide-20

SLIDE 20

Clone-and-Own of Variability Models

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 12

slide-21

SLIDE 21

Anomalies in Variability Models

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 13

slide-22

SLIDE 22

Anomalies in Variability Models

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 13

slide-23

SLIDE 23

Configuration Spaces Tend to Grow Over Time

1,00E+00 1,00E+03 1,00E+06 1,00E+09 1,00E+12 1,00E+15 1,00E+18 1,00E+21 1,00E+24 1,00E+27 2013 2014 2015 2016 2017 2018 2019 2020 2021

Number of Valid Configurations (logarithmic) Year

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 14

slide-24

SLIDE 24

Part III Criteria for Language Design

slide-25

SLIDE 25

Why to Use SAT Solvers for Variability Analysis?

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 16

slide-26

SLIDE 26

Missing Analyses for Feature Attributes

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 17

slide-27

SLIDE 27

Industry Demands for Modularity and Branching

Page 1 of 1 11/03/2019 file:///C:/Users/tthuem/git/Paper/pics/versioncontrol/git-branches.svg Thomas Thüm On Language Levels for Feature Modeling Notations Slide 18

slide-28

SLIDE 28

Language Levels for Feature Modeling Notations

Major Levels: expressiveness aligns with solver classes propositional logic: SAT, binary decision diagram (BDD), #SAT, . . . first-order logic: satisfiable modulo theory (SMT), constraint satisfaction problem (CSP)?, . . . more needed? answer set programming (ASP)? pseudo-boolean satisfiability (PB-SAT)? . . .

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 19

slide-29

SLIDE 29

Language Levels for Feature Modeling Notations

Major Levels: expressiveness aligns with solver classes propositional logic: SAT, binary decision diagram (BDD), #SAT, . . . first-order logic: satisfiable modulo theory (SMT), constraint satisfaction problem (CSP)?, . . . more needed? answer set programming (ASP)? pseudo-boolean satisfiability (PB-SAT)? . . . Minor Levels: differing expressiveness within major levels align with expressiveness of state-of-the-art languages meet requirements from typical application domains example: supported tree and cross-tree constraints

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 19

slide-30

SLIDE 30

Language Levels for Feature Modeling Notations

Major Levels: expressiveness aligns with solver classes propositional logic: SAT, binary decision diagram (BDD), #SAT, . . . first-order logic: satisfiable modulo theory (SMT), constraint satisfaction problem (CSP)?, . . . more needed? answer set programming (ASP)? pseudo-boolean satisfiability (PB-SAT)? . . . Minor Levels: differing expressiveness within major levels align with expressiveness of state-of-the-art languages meet requirements from typical application domains example: supported tree and cross-tree constraints Orthogonal Levels: independent of expressiveness Modularity with feature-model interfaces or slicing Feature versions and temporal validity with hyper and temporal feature models

Thomas Thüm On Language Levels for Feature Modeling Notations Slide 19

slide-31

SLIDE 31

slide-32

SLIDE 32

Part I

The Situation 110 Years Ago: Ford Model T Today: Every Second Car has a Unique Configuration Constraints Among Features are Challenging Variability Models as Central Knowledge Database

slide-33

SLIDE 33

Part II

Real-World Variability Modeling One Product Line Specified with Different "Languages" Variability Modeling par Excellence Clone-and-Own of Variability Models Anomalies in Variability Models Configuration Spaces Tend to Grow Over Time

slide-34

SLIDE 34

Part III

Why to Use SAT Solvers for Variability Analysis? Missing Analyses for Feature Attributes Industry Demands for Modularity and Branching Language Levels for Feature Modeling Notations

slide-35

SLIDE 35

On Language Levels for Feature Modeling Notations

Part I Part II Part III