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
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
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
VARIETE Workshop ITU 3
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
VARIETE Workshop ITU 4
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
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
VARIETE Workshop ITU 6
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
VARIETE Workshop ITU 7
Towards A Core Language for Separate Variability Modeling
(placement, replacement, binding)fragment substitution
Nov 18, 2013
VARIETE Workshop ITU 8
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
VARIETE Workshop ITU 9
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
VARIETE Workshop ITU 10
Towards A Core Language for Separate Variability Modeling
basic_printer1 basic_printer2
basic_printer3 basic_printer4Nov 18, 2013
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
VARIETE Workshop ITU 12
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
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
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
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
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
VARIETE Workshop ITU 17
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013
VARIETE Workshop ITU 18
Towards A Core Language for Separate Variability Modeling
basic_printer
Nov 18, 2013
VARIETE Workshop ITU 19
Towards A Core Language for Separate Variability Modeling
basic_printer
Nov 18, 2013
VARIETE Workshop ITU 20
Towards A Core Language for Separate Variability Modeling
basic_printer
Nov 18, 2013
VARIETE Workshop ITU 21
Towards A Core Language for Separate Variability Modeling
basic_printer
Nov 18, 2013
VARIETE Workshop ITU 22
Towards A Core Language for Separate Variability Modeling
basic_printer1 basic_printer2
basic_printer3 basic_printer4Nov 18, 2013
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
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
VARIETE Workshop ITU 25
• Thank you!• Questions?
Towards A Core Language for Separate Variability Modeling
Nov 18, 2013