ГОСТРИСО/МЭК10165-4-2001
осушсствлснинопсраииивзависимостиотсостоянияобъсктаможстизмснитьсяистатусиспользования.Оне-
райионнымстатусэтойоперацией нсизменяется:
SMReplaceAdministrativeState
AStateManagementState
Н
TopState
inpul * AdministrativeState
______________________
administrativeState’
e
IFu sage State *■idle
THEN
{
unlocked -* unlocked,locked
->
locked
.
shuitingown -+ locked,locked
-*
shuttingown,
shuitingown -* shuitingown)
( {«yw /?})
ELSE
!
unlocked -* unlocked, locked-* locked,
shuitingown
-*
locked)
(
{input?})
administrativeState’
e
locked
-»
usageState’ =idle
administraliwState’ * locked
-»
usageState’ =usageState
operationalState’ * operationalState
Поведение, специфицированное впредикатахсхемы, являетсяформализациейнеформалышгоописа-
ннявГОСТРИСО/МЭК 10164-2. Дляполнотыдолжныбытьопрсделсны операции замен ыопераиионного
статусаистатусаиспод ьзования.
Существует ряд других операций, которые описывают поведение, специфичное для класса
StateManagement.Эгиопсраииинспсречисл сныздссь.нонривсдснывВ.7 Вихчисловходят.УМС’а/щсНт’/теале,
SMCapacityIncrease. SMisaMe.SMEnable.SMNewUseruSMVserQuit.
В.4.3 Р е а л и з у е м ы е классы
Ниодннкзописанныхвышсклассовнсможетбытьрсализоваи.
Испод
ьзованнаяпроцедурапосгроения
классовможстбыты1родолжсна.Класс.5’лн?Л/дл<н’е7ме«/можноповторноиспользоватьдлиопрсдслснияклас-
са,названногоС//?С£У Г.который,вс воюочсрсдь.можстбытьмспользовандляопределснмякласса£>С//(С{//Г
и.
следовательно, реализусмого класса
ActualЕСircuit.
Эта
часть работы нс приведена в руководстве, так как
процедура точнотакая же. чтоиописанная выше, и повторениенсдобавитничсго нового.
В.5Нерассыотреннысвопросы
Вданномполраздслспсрсчислсныосновныс вопросы, встречающиесяприперсводеспсиификаиинун-
равлисмыхобъектовРОУОв2.Такжепривсденапрсдлагасмаянсформальнаятрактовкатсхотносящихсяк2
случаев,когданстсоответствующихкоиструкиийдлякоикретныххарактсристикспсцификаиинупрааляемого
объекта.
В.5.1 О п р е д е л е н и е п о в е д е н и я в у п р а в л я е м ы х о б ъ е к т а х
Втаблонахтермин«онрсдсленисповедсния»иснользустсяпочтидлявссхкатсгорий,являюшихсядан-
нымнилиобработкой.Впослсднсмслучасэтоопрсдслснисможетвключатьвссбяинформаинюофактичсском
поведении (вточномемыслеэтогослова) илистатическую информациюокатегории.такуюкакесназначс-
нис.млитомдругос. Примереводснсобходимопроаналмзироватьтскст.нриведенныйподуказаннымзаголов-
ком.иизвлсчьизнегоинформацню.относяшуюсякповсдсниюрассматривасмойхатстории.Эгаинформаиия
будстисиользоватьсяприформальном перс воде, аимеюшийсятскстможстбытьвключснвспснификанию2
вкачсствскомментария.
В.5.2 В н у т р е н н и е о п е р а ц и н в2
Внутрснняиоперанияунравлясмогообъсктапрсдставлястслучай.когдасообщениссоздастсяспонтанно
(бсзучастиявызоваадминнстратнвно1оунравлснии).Внутрсннисонсраиииявляютсяжслатсльнойхарактсри-
стикой многихсистем. Внастоящее времяв2 этахарактеристикапредставляется неформальное помощью
комментариянасстсствснномязыкс.
В.5.3 А б с т р а к т н ы е к лас с ы в 2
Иногдаполезноидентифицироватьабстракгнысклассы.т.с. классы, которыенеимсютсвосйсобствсн-
нойреализании. НскоторысклассыУО( напримсрДор)иемогутбытьреализованы. Былобыполезнопоказать,
какисчастиспеиификаиии2нрсдставлиютклассы.которыснсмогутбытьреализованы.Внастоящссврсмиэто
деластсяспомощьюнеформальной аннотации.
В.5.4 С е м а н т и к а к о н с т р у к ц и и P A RA ME T E R S
Включение семантики конструкции PARAMETERS вобъекты нс рассматривается внастоящем
стандарте.
В.бНрсобразованис гиновданныхАСН. 1в2
НижсрассмотрснывопросыперсводаконструкиийАСИ.1.
В.6.1 Про с гые т и п ы
АСН.1включаствссбн некоторыепростыетипы,которысявлнютсивстроснным и.Онинмеютстандар-
тнуюструктуру.нообычноэтонспрсдсгавляетинтерссавкоитскстенастоящсгостандартаиихследустпрсд-
ставлятькакзаданнысмножсства.Имеетсяболыиойнабортиповсимвольныхстрок:
57