#A4#
##
#Passenger#
#HallCall#
#HallButtonControl#
#HallLight#
#1a. Passenger presses hall call button#
#1b. HallCall[f,b,d]=Pressed#
#2a. HallLight[f,b,d]=On#
#2b. Passenger notices hall light is on#
#Sequence Diagram 1A: Group 12 - semerson, tke, dhaddox, dgorzigl#
#Dispatcher#
#1c. mHallCall[f,b,d]=true#
##
#1d. Servicing = False#
#3a. CurrentDirection = Up#