Revision 8a57f3b03992351f46c4537fd0d9351592278d2b (click the page title to view the current version)

Domain Modeling, Verification, and Validation

Back to Intro

Car

abstract car
xor transmission
automatic
manual
`fca ?
`cc
[ acc => fca ]

Forward Collision Alert

abstract fca
xor sensor
radar
lidar

Cruise Control

abstract cc
switches 2..3
backlight ?
acc ?

Specialization

abstract camaro : car
[ all s : switches | s.backlight ]
transformer ?
[ # switches = 3 ]

Partial product configuration

bumbleBee : camaro
[ transformer ]
[ manual ]
var gwr=document.getElementById('graphWithRefs0'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none'; var gwr=document.getElementById('graphWithRefs0'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none'; -4,4 -4,-150.6 124.5,-150.6 124.5,4 -4,4 c0_car abstract car 11.00 c1_fca abstract fca 11.00 c0_car->c1_fca 33.11,-131.36 33.68,-124.8 34.28,-129.27 36.04,-126.12 36.04,-126.12 36.04,-126.12 34.28,-129.27 38.39,-127.43 33.11,-131.36 c1_cc abstract cc 11.00 c0_car->c1_cc 89.27,-131.36 83.99,-127.43 88.1,-129.27 86.34,-126.12 86.34,-126.12 86.34,-126.12 88.1,-129.27 88.7,-124.8 89.27,-131.36 c0_camaro abstract camaro : car 11.00 c0_camaro->c0_car 57.69,-60.87 61.19,-70.87 64.69,-60.87 57.69,-60.87 c0_bumbleBee bumbleBee : camaro 11.00 c0_bumbleBee->c0_camaro
Module Statistics: | All clafers: 17 | Abstract: 4 | Concrete: 13 | Reference: 0 | Constraints: 5 | Goals: 0 | Global scope: 1..* | Can skip name resolver: no |

Module Downloads: | [.cfr] | [.html] |