|
State Transitions |
| Label |
Transition |
Trigger |
Conditional |
Actions |
| AC-H |
ControlAvailableReleaseControlTransition |
ReleaseControl |
isControllingClient |
sendRejectControlReleased
|
| RequestControl |
isDefaultAuthorityGreater && isControllingClient |
sendRejectControlToController
|
| AccessControlTimeout |
|
sendRejectControlReleased
|
| AC-D |
ControlAvailableRequestControlTransition |
RequestControl |
!isDefaultAuthorityGreater |
resetTimer
, sendConfirmControlAccepted
, setAuthority
, storeAddress
|
| I |
ControlledEmergencyLoop |
Reset |
|
|
| F |
ControlledFailureTransition |
Failure |
|
emptyStateStack
, sendRejectControlToController
|
| AC-E |
ControlledNotAvailableDefaultLoop |
RequestControl |
|
sendConfirmControlNotAvailable
|
| ReleaseControl |
|
sendRejectControlNotAvailable
|
| AccessControlTimeout |
|
resetTimer
|
| A |
InitializedTransition |
Initialized |
|
|
| H2 |
ManagementControlledLoop |
QueryStatus |
|
sendReportStatus
|
| H1 |
ManagementNotControlledDefaultLoop |
QueryStatus |
|
sendReportStatus
|
| L |
NotControlledFailureTransition |
Failure |
|
emptyStateStack
|
| AC-A |
NotControlledNotAvailableDefaultLoop |
RequestControl |
|
sendConfirmControlNotAvailable
|
| B |
Pause |
Standby |
isControllingClient |
|
| J2 |
PopFromControlledEmergency |
ClearEmergency |
isIDStored |
deleteID
|
| J1 |
PopFromNotControlledEmergency |
ClearEmergency |
isIDStored |
deleteID
|
| G2 |
PushToControlledEmergency |
SetEmergency |
|
storeID
|
| G1 |
PushToNotControlledEmergency |
SetEmergency |
|
storeID
|
| D |
ResetTransition |
Reset |
isControllingClient |
sendRejectControlToController
|
| E |
ShutdownTransition |
Shutdown |
isControllingClient |
emptyStateStack
, sendRejectControlToController
|
| C |
ToReady |
Resume |
isControllingClient |
|