ГОСТ Р ИСО/МЭК ТО 10023-М
(id ti : Tid = Tld(ta. tcei)
in
(not(IsTDJS(isp))] —> TCIdent [t] (Insert(ti. Use))
[IsTDIS
ftsp)| —>
TCIdent |t] (Remove(ti. Use)))
endproc (* TCIdent *)
Г
____________ __ ___________
________
l
______________
H ПРИНЯТИЕ ТРАНСПОРТНЫХ СОЕДИНЕНИЯ
В любой момент времени поставщик услуг способен принять
установление новых соединений только в конечном множестве
пунктов доступа к услугам и в.оконечных пунктах соединения. Это
определяется процессом TCAcceptance, который внутренне выбира
ет конечное множество nap (ta. tcei) перед участием в каком-либо
взаимодействии. Если взаимодействие образует новое ТС. то око
нечный пункт, где произошло это взаимодействие, должен быть
среди тех, которые представлены AcceptTC.
Однако при каждом выборе AcceptTC множество оконечных
пунктов, где могут быть образованы новые соединения, является
в действительности подмножеством AcceptTC. вследствие ограниче
ния разделения на идентификацию ТС (см. раздел 3). Более точ
но новое соединение может быть образовано только с парой(ta.
tcci), которая находится в AcceptTC. а не в Use. Следовательно,
при каждом выборе AcceptTC множество оконечных пунктов, где
могут быть образованы новые соединения, представлено раз
ностью AcceptTC — Use.
Поставщику транспортных услуг присущ внутренний недетер-
минизм при динамическом выборе того, сколько и какие оконечные
пункты можно выделить для новых соединений, при условии вы
полнения минимальных функциональных требований — если нет
активных ТС, поставщик услуг должен быть способен принять хо тя
бы одно ТС. т. е. подмножество AcceptTC, где могут быть дей
ствительно приняты новые ТС. должно быть в этом случае непус
тым.
П р и м е ч а н и е — В самом деле, требование минимальной функционала-
ности ’«комналеитко более простому требованию, чтобы AcceptTC было непустым
о любом случае, если принимать во внимание ограничения, наложенные
ТС Identification.
1
Это действительно так, поскольку:
а) если нет активных ТС, то Use пустое, таким образом под
множество AcceptTC, где могут быть приняты новые ТС. является
самим AcceptTC, в то время как
4S