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 ]
c0_car abstract car c1_fca abstract fca c0_car->c1_fca c1_cc abstract cc c0_car->c1_cc c0_camaro abstract camaro : car c0_camaro->c0_car c0_bumbleBee bumbleBee : camaro 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] |