ГОСТРИСО/МЭК10165-4-2001
SMCapacilylncrease
AStateManagementState
Z
TopState
usageState ~busy-*> usageState’
=■
active
usageState*busy
- >
usageState’
=
usageState
administrativeState’ =administrativeState
operatianaiSfate’
=
operationa/State
SMisable
AStateManagementState
Z
TopState
administrativeState’
*»
IF administrativeState **shuttingown
THENlocked
ELSEadministrativeStale
operationalState’ = disabled
usageState’ - idle
SMEnable
_______________________________
AStateManagementState
Z
TopState
operationalState
=
disabled
operationalState’
=
enabled
administrativeState’ - administrativeState
usageState’
=
usageState
SMNewUser
AStateManagementState
Z
TopState
operationalState
=
enabled
administrativeState—unlocked
usageStatee {idle,active)
usageState e {active,busy
j
administrativeState’
=
administrativeState
operationalState’ =operationalState
SMUserQuit
AStateManagementState
Z
TopState
administrativeState ~ shuttingown usageState’
=
idle
=>
administrativeState’
=
locked
administrativeState * shuttingown
]
usageState’
a
idle
=>administrativeState’ — administrativeState
usageState e {active,busy)
usageState’
e {/<//?.acf/ve}
operationalState’ =operationalState
SMReplaceAdministrativeState
AStateManagementState
Z
TopState
a
administrativeState’
e
IFusageState - idle
THEN { unlocked -* unlocked,locked -* locked.
shuttingown
—»
locked,locked shuttingown.
shuttingown -* shuttingown) ({input’!))
ELSE
(
unlocked -+ unlocked,locked -> locked,
shuttingown
->
locked)
( {wi/w/?})
administrativeState’
=
locked
->
usageState’ -idle
administrativeState’
a
locked
->
usageState" * usageState
operationalState’ - operationalState
64