1 / 25

Towards A Core Language for Separate Variability Modeling

Towards A Core Language for Separate Variability Modeling. Alexandru F. Iosif-Lazăr 1 , Ina Schaefer 2 and Andrzej Wąsowski 1 1 IT University of Copenhagen 2 Technische Universität Braunschweig 1 { afla|wasowski }@itu.dk 2 i.schaefer@tu-braunschweig.de.

ursa-deleon
Download Presentation

Towards A Core Language for Separate Variability Modeling

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Towards A Core Language for Separate Variability Modeling Alexandru F. Iosif-Lazăr1, Ina Schaefer2 and Andrzej Wąsowski1 1 IT University of Copenhagen 2TechnischeUniversitätBraunschweig 1 {afla|wasowski}@itu.dk 2 i.schaefer@tu-braunschweig.de VARIETE Workshop ITU

  2. Towards A Core Language for Separate Variability Modeling • Outline • Towards A Core Language for Separate VariabilityModeling • Towards A Core Language for Separate Variability Modeling • Towards A Core Language for Separate Variability Modeling • Towards A Core Language for Separate Variability Modeling • Towards A Core Language for Separate Variability Modeling VARIETE Workshop ITU

  3. Towards A Core Language for Separate Variability Modeling VARIETE Workshop ITU

  4. Towards A Core Language for Separate Variability Modeling VARIETE Workshop ITU

  5. Towards A Core Language for Separate Variability Modeling Orthogonal Variability Model (OVM) Delta Modeling Common Variability Language (CVL) VARIETE Workshop ITU

  6. Towards A Core Language for Separate Variability Modeling VARIETE Workshop ITU

  7. Towards A Core Language for Separate Variability Modeling (placement, replacement, binding) fragment substitution VARIETE Workshop ITU

  8. Towards A Core Language for Separate Variability Modeling VARIETE Workshop ITU

  9. Towards A Core Language for Separate Variability Modeling VARIETE Workshop ITU

  10. Towards A Core Language for Separate Variability Modeling basic_printer1 basic_printer2 VARIETE Workshop ITU basic_printer4 basic_printer3

  11. Towards A Core Language for Separate Variability Modeling basic_printer1 basic_printer2 How do we execute this? VARIETE Workshop ITU basic_printer4 basic_printer3

  12. Towards A Core Language for Separate Variability Modeling VARIETE Workshop ITU

  13. Towards A Core Language for Separate Variability Modeling • ((), server, {}) • ((), basic_printer1, { cpu1->server }) • ((), basic_printer2, { cpu2->server }) • (bw2, color2, { printhead2->color2 }) • (lowres2, highres2, { printhead2->highres2 }) • ((), basic_printer3, { cpu3->server}) • ((), turner3, { turner3->feeder3; printhead3->turner3 }) • ((), basic_printer4, { cpu4->server }) • (bw4, color4, { printhead4->color4 }) VARIETE Workshop ITU

  14. Towards A Core Language for Separate Variability Modeling • Fs : • ((), server, {}) • ((), basic_printer1, { cpu1->server }) • ((), basic_printer2, { cpu2->server }) • (bw2, color2, { printhead2->color2 }) • (lowres2, highres2, { printhead2->highres2 }) • ((), basic_printer3, { cpu3->server}) • ((), turner3, { turner3->feeder3; printhead3->turner3 }) • ((), basic_printer4, { cpu4->server }) • (bw4, color4, { printhead4->color4 }) VARIETE Workshop ITU

  15. Towards A Core Language for Separate Variability Modeling • Fs : • ((), server, {}) • ((), basic_printer1, { cpu1->server }) • ((), basic_printer2, { cpu2->server }) • (bw2, color2, { printhead2->color2 }) • (lowres2, highres2, { printhead2->highres2 }) • ((), basic_printer3, { cpu3->server}) • ((), turner3, { turner3->feeder3; printhead3->turner3 }) • ((), basic_printer4, { cpu4->server }) • (bw4, color4, { printhead4->color4 }) VARIETE Workshop ITU

  16. Towards A Core Language for Separate Variability Modeling basic_printer1 basic_printer2 This doesn’t look like real modeling... VARIETE Workshop ITU basic_printer4 basic_printer3

  17. Towards A Core Languagefor Separate Variability Modeling VARIETE Workshop ITU

  18. Towards A Core Languagefor Separate Variability Modeling basic_printer VARIETE Workshop ITU

  19. Towards A Core Language for Separate Variability Modeling basic_printer VARIETE Workshop ITU

  20. Towards A Core Language for Separate Variability Modeling basic_printer VARIETE Workshop ITU

  21. Towards A Core Language for Separate Variability Modeling basic_printer VARIETE Workshop ITU

  22. Towards A Core Language for Separate Variability Modeling basic_printer1 basic_printer2 VARIETE Workshop ITU basic_printer4 basic_printer3

  23. Towards A Core Language for Separate Variability Modeling • Next step : Translation Validation [A. Pnueli, M. Siegel and E. Singerman, 1998] • a common semantic framework for both the input and the output; • a formalization of the notion of correct execution; • a proof method which allows to automatically verify that the output is correct. VARIETE Workshop ITU

  24. Towards A Core Language for Separate Variability Modeling • Conclusions • We propose a very simple core language. • Concise and confluent copying semantics. • Facilitates verification and, possibly, certification of tools. VARIETE Workshop ITU

  25. Towards A Core Language for Separate Variability Modeling • Thank you! • Questions? VARIETE Workshop ITU

More Related