towards a core language for separate variability modeling
DESCRIPTION
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 [email protected]. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/1.jpg)
VARIETE Workshop ITU
Towards A Core Language for Separate Variability Modeling
Alexandru F. Iosif-Lazăr1, Ina Schaefer2 and Andrzej Wąsowski1
1 IT University of Copenhagen2 Technische Universität Braunschweig
1 {afla|wasowski}@itu.dk2 [email protected]
Nov 18, 2013
![Page 2: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/2.jpg)
VARIETE Workshop ITU 2
• Outline• 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• Towards A Core Language for Separate Variability Modeling
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 3: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/3.jpg)
VARIETE Workshop ITU 3
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 4: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/4.jpg)
VARIETE Workshop ITU 4
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 5: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/5.jpg)
VARIETE Workshop ITU 5
Towards A Core Language for Separate Variability Modeling
Orthogonal Variability Model (OVM)
Delta Modeling
Common Variability Language (CVL)
Nov 18, 2013
![Page 6: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/6.jpg)
VARIETE Workshop ITU 6
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 7: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/7.jpg)
VARIETE Workshop ITU 7
Towards A Core Language for Separate Variability Modeling
(placement, replacement, binding)fragment substitution
Nov 18, 2013
![Page 8: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/8.jpg)
VARIETE Workshop ITU 8
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 9: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/9.jpg)
VARIETE Workshop ITU 9
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 10: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/10.jpg)
VARIETE Workshop ITU 10
Towards A Core Language for Separate Variability Modeling
basic_printer1 basic_printer2
basic_printer3 basic_printer4Nov 18, 2013
![Page 11: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/11.jpg)
VARIETE Workshop ITU 11
Towards A Core Language for Separate Variability Modeling
basic_printer1 basic_printer2
basic_printer3 basic_printer4
How do we execute this?
Nov 18, 2013
![Page 12: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/12.jpg)
VARIETE Workshop ITU 12
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 13: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/13.jpg)
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 })
Nov 18, 2013
![Page 14: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/14.jpg)
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 })
Nov 18, 2013
![Page 15: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/15.jpg)
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 })
Nov 18, 2013
![Page 16: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/16.jpg)
VARIETE Workshop ITU 16
Towards A Core Language for Separate Variability Modeling
basic_printer1 basic_printer2
basic_printer3 basic_printer4
This doesn’t look like real modeling...
Nov 18, 2013
![Page 17: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/17.jpg)
VARIETE Workshop ITU 17
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 18: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/18.jpg)
VARIETE Workshop ITU 18
Towards A Core Language for Separate Variability Modeling
basic_printer
Nov 18, 2013
![Page 19: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/19.jpg)
VARIETE Workshop ITU 19
Towards A Core Language for Separate Variability Modeling
basic_printer
Nov 18, 2013
![Page 20: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/20.jpg)
VARIETE Workshop ITU 20
Towards A Core Language for Separate Variability Modeling
basic_printer
Nov 18, 2013
![Page 21: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/21.jpg)
VARIETE Workshop ITU 21
Towards A Core Language for Separate Variability Modeling
basic_printer
Nov 18, 2013
![Page 22: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/22.jpg)
VARIETE Workshop ITU 22
Towards A Core Language for Separate Variability Modeling
basic_printer1 basic_printer2
basic_printer3 basic_printer4Nov 18, 2013
![Page 23: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/23.jpg)
VARIETE Workshop ITU 23
• 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.
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 24: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/24.jpg)
VARIETE Workshop ITU 24
• Conclusions• We propose a very simple core language.• Concise and confluent copying semantics.• Facilitates verification and, possibly, certification of tools.
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
![Page 25: Towards A Core Language for Separate Variability Modeling](https://reader038.vdocuments.us/reader038/viewer/2022110210/56812b26550346895d8f2bf6/html5/thumbnails/25.jpg)
VARIETE Workshop ITU 25
• Thank you!• Questions?
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013