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 |
|