Exercise 2 solution

TrafficLight
red : Lamp
yellow : Lamp
green : Lamp
leftGreenArrow : Lamp ?
[ LeftGreenArrow ]
[ leftArrow ]
rightGreenArrow : Lamp ?
[ RightGreenArrow ]
arrowsOff ?
[ arrowsOff <=> no leftGreenArrow.on && no leftGreenArrow.flashing ]
[ arrowsOff <=> no rightGreenArrow.on && no rightGreenArrow.flashing ]
emergencyVehicle ?
xor TrafficSignals
[ emergencyVehicle && allWayYellow => allYellow ]
[ emergencyVehicle && no allWayYellow => warning ]
proceed
[ no emergencyVehicle ]
[ red.off ]
[ yellow.off ]
[ green.on ]
[ leftGreenArrow => leftGreenArrow.on ]
[ rightGreenArrow => rightGreenArrow.on ]
prepareToStop
[ no emergencyVehicle ]
[ red.off ]
[ yellow.on ]
[ green.off ]
[ arrowsOff ]
stop
[ no emergencyVehicle ]
[ red.on ]
[ yellow.off ]
[ green.off ]
[ arrowsOff ]
warning
[ red.off ]
[ yellow.flashing ]
[ green.off ]
[ arrowsOff ]
prepareToGo
[ no emergencyVehicle ]
[ redAndYellowToGreen ]
[ red.on ]
[ yellow.on ]
[ green.off ]
[ arrowsOff ]
allStop
[ no emergencyVehicle ]
[ allWayFlashingRedAsStop ]
[ red.flashing ]
[ yellow.off ]
[ green.off ]
[ arrowsOff ]
allYellow
[ allWayYellow ]
[ red.off ]
[ yellow.flashing ]
[ green.off ]
[ arrowsOff ]
advancedLeft
[ no emergencyVehicle ]
[ advancedOrExtendedLeft ]
[ red.on ]
[ yellow.off ]
[ greenFlashing => green.flashing ]
[ leftArrow => leftGreenArrow.flashing && green.off ]
extendedLeft
[ no emergencyVehicle ]
[ advancedOrExtendedLeft ]
[ red.on ]
[ yellow.off ]
[ greenFlashing => green.flashing ]
[ leftArrow => leftGreenArrow.flashing && green.off ]
abstract xor Lamp
on
off
flashing
TrafficLightSystem
Lamps
LeftGreenArrow ?
RightGreenArrow ?
redAndYellowToGreen ?
allWayFlashingRedAsStop ?
allWayYellow ?
xor advancedOrExtendedLeft ?
greenFlashing
leftArrow

Let’s try it out. Again, assert certain signals and see what are the states of the lamps. E.g., when you turn all features off and assume the presence or absence of an emergencyVehicle:

[ no allWayYellow ]
Module Statistics: | All clafers: 32 | Abstract: 1 | Concrete: 31 | Reference: 0 | Constraints: 63 | Goals: 0 | Global scope: 1..* | Can skip name resolver: no |

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

Back to linking signals and lamps.