Elevator_SW_Sys:

1
Elevator Collaboration Diagram
Door Door
Display Display
7 Door_ClosedTRUE 11Door_ClosedTRUE
Floor_No_Arrived
6 Open_Door 10Open_Door
1 state Idle, Floor_No_Arrived1 3 state
Going_Up, Req_Highest_Floor7 4 state
Passenger_Loading, Floor_No_Arrived7 8 state
Going_Down, Req_Lowest_Floor5 9 state
Passenger_Loading, Floor_No_Arrived5 12
state Idle, Floor_No_Arrived5
5 Req_Floor5
Inside_Elevator_Buttons Inside_Elevator_Buttons
Elevator_SW_Sys Elevator_SW_Sys
2 Req_Floor7
Floor_No_Arrived
Floor_Sensor Floor_Sensor
Central_Station Central_Station
2
Scenario of the Collaboration Diagram

• Idle on Floor 1
• Gets request from Floor 7
• Going Up to Floor 7
• Gets request from inside passenger to Floor 5
• Loading on Floor 7
• Going Down to Floor 5
• Loading on Floor 5
• Idle on Floor 5

3
In_Service
Req_FloorNULL
Elevator_SW_Sys State Diagram
Idle
Floor_No_ArrivedReq_Floor /Open_Door
Passenger_Loading
Alarm is off
Floor_No_Arrived Req_Floor /Open_Door
Req_Floor! NULL
Floor_No_Arrived gt Req_Lowest_Floor
Door-ClosedTRUE
Floor_No_Arrived lt Req_Highest_Floor
Door-ClosedTRUE
Out_of_Service
Floor_No_Arrivedlt Req_Floor
Floor_No_Arrived Req_Floor /Open_Door
Floor_No_Arrivedgt Req_Floor
Alarm is on
Going_Up
Going_Down
Floor_No_Arrived lt Req_Highest_Floor
Floor_No_Arrived ! Req_Floor
Floor_No_Arrived gt Req_Lowest_Floor
Floor_No_Arrived ! Req_Floor