I
/
ГОСТ
P
ИСО МЭК TO 16023-М
b) если активно несколько ТС, выбор непустого AcceptTC еще
допускает, что подмножество, где.могут быть приняты новые ТС.
может быть пустым, а именно как только AcceptTC включенов
Use.
------------------------------------------------------------------------------
¥)
process TCAcceplanceJt] : noexit :=
choice AcceptTC : Tlds
(AcceptTC ne { } ]
— >
t?ta : TAddress ?tcei : TCEI ?tsp : TSP (IsTCON!9tsp) implies
(TId(ta, tcei) Isln AcceptTC)] ;
TCAcceptance[t]
endproc (• TC Acceptanee 4)
15 УПРАВЛЕНИЕ ПОТОКОМ ПРИ ПОМОЩИ ОБРАТНОЙ СВЯ^И
Допускается любой недетерминнзм поставщика услуг в отно
шении приема запросов на передачу данных, но одна зависимость
между ограничениями управления потоком для нормальных и
срочных данных задана. Эта зависимость вытекает из утверждения
9.2 ГОСТ 34.960, чтоснормальные данные... нельзя добавлятьв
очередь, если их добавление может помешать добавлению
сроч ных ПБДТ...».
Для поддержки абстрактного представления этого требования,
и именно только в терминах взаимодействий услуг, вводится па-’
раметр MustAcceptTEX. который хранит трассу оконечных пунк
тов ТС. в которых последним выполненным запросом был запрос
Т-ДАННЫЕ. В любой момент времени поставщик может
произ вольно выбрать конечные множества AcceptTDT и
AcceptTEX, представляющие два множества оконечных пунктов
ТС. где пос тавщик может принять нормальные н срочныеСБДТ
соответст венно.
Вышеупомянутая зависимость представлена требованием, что
AcceptTEX должен включать .MustAcceptTEX. Никакие другие за
висимости. которые могут существовать в реализациях услуг транс
портного уровня, не описан^.
П р и м е ч а н и е — В любой момент времени при динамическом произволь
ном выборе множества AcceptTDT множество оконечных пунктов, где запросы
Т-ДАННЫЕ могу? бить действительно приняты, входит в пе^сеченне
множеств
46