on language levels for feature modeling notations
play

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

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


  1. On Language Levels for Feature Modeling Notations Thomas Thüm, Christoph Seidl, Ina Schaefer MODEVAR, September 10, 2019

  2. Part I The Need for Variability Modeling

  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

  4. Today: Every Second Car has a Unique Configuration Thomas Thüm On Language Levels for Feature Modeling Notations Slide 4

  5. Constraints Among Features are Challenging Thomas Thüm On Language Levels for Feature Modeling Notations Slide 5

  6. Constraints Among Features are Challenging A car without Microsoft Office 365?!? Thomas Thüm On Language Levels for Feature Modeling Notations Slide 5

  7. Constraints Among Features are Challenging Thomas Thüm On Language Levels for Feature Modeling Notations Slide 6

  8. Constraints Among Features are Challenging Thomas Thüm On Language Levels for Feature Modeling Notations Slide 6

  9. Variability Models as Central Knowledge Database Thomas Thüm On Language Levels for Feature Modeling Notations Slide 7

  10. Part II The Need for Variability Analyses

  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

  12. One Product Line Specified with Different "Languages" Thomas Thüm On Language Levels for Feature Modeling Notations Slide 10

  13. Variability Modeling par Excellence Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

  14. Variability Modeling par Excellence Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

  15. Variability Modeling par Excellence Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

  16. Variability Modeling par Excellence Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

  17. Variability Modeling par Excellence Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

  18. Variability Modeling par Excellence Thomas Thüm On Language Levels for Feature Modeling Notations Slide 11

  19. Clone-and-Own of Variability Models Thomas Thüm On Language Levels for Feature Modeling Notations Slide 12

  20. Clone-and-Own of Variability Models Thomas Thüm On Language Levels for Feature Modeling Notations Slide 12

  21. Anomalies in Variability Models Thomas Thüm On Language Levels for Feature Modeling Notations Slide 13

  22. Anomalies in Variability Models Thomas Thüm On Language Levels for Feature Modeling Notations Slide 13

  23. Configuration Spaces Tend to Grow Over Time 1,00E+27 1,00E+24 Number of Valid Configurations 1,00E+21 1,00E+18 (logarithmic) 1,00E+15 1,00E+12 1,00E+09 1,00E+06 1,00E+03 1,00E+00 2013 2014 2015 2016 2017 2018 2019 2020 2021 Year Thomas Thüm On Language Levels for Feature Modeling Notations Slide 14

  24. Part III Criteria for Language Design

  25. Why to Use SAT Solvers for Variability Analysis? Thomas Thüm On Language Levels for Feature Modeling Notations Slide 16

  26. Missing Analyses for Feature Attributes Thomas Thüm On Language Levels for Feature Modeling Notations Slide 17

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

  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

  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

  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

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

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

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

  34. On Language Levels for Feature Modeling Notations Part I Part II Part III

Recommend


More recommend