ГОСТ Р ИСО’МЭК ТО 10023-М
AcceptYDT n Use.
это точное подмножество AcccptTDT. представляющее око
нечные пункты, находящиеся в фазе передачи данных (см 11.3 1). Аналогичное
замечание применимо н при обратной связи срочных данных.
process TBackpressure [t] : noexit :*•
TBackp (t] ({ } of TIds) 111 RunButTDTreqTEXreqTDIS [t]
endproc (* TBackpressure *)
process TBackp[t] (MustAcceptTEX : TIds) : noexit :=
choice AcccptTDT, AcceptTEX : TIds
[MustAcceptTEX IsSubsetOf -AcceptTEX]
—>
(t?ta : TAddress ?tcei: TCEI ?tdr: TSP [IsTDTreq(tdr) and
(TId(ta. tcei) Isln AcceptTDT)] ;
TBackp [t] (Insert(TId(ta. tcei). MustAcceptTEX))
t?ta :
TAddress
?tcei : TCEI ?ter : TSP [IsTEXreq(ter) and (TId(ta,
tcei) Isln AcceptTEX)] ;’
TBackp [t] (Remove(TID(ta. Tcei). MustAcceptTEX))
t?ta : TAddress ?tcei .-TCEI ?td : TSP [IsTDIS(td)] ;
TBackp |t] (Remove(TId(ta. Tcei), .MustAcceptTEX)))
endproc (*TBackp *)
process RunButTDTreqTEXreqTDISft] : noexit :■=>
t>ta : TAddress ?tcei : TCEI ?tsp : TSP (not(IsTDTreq(tsp)
IsTEXreq (tsp) or IsTDIS (tsp))1 :
RunButTDTreqTEXreqTDIS [t]
endproc (* RunButTDTreqTEXreqTDIS *)
or
15 ПЕРЕДАЧА В РЕЖИМЕ-БЕЗ-УСТАНОВЛЕНИЯ-СОЕДИНЕНИЯ
16.1 О п р е д е л е н и япро це с с а
TSConnectionless основан на индикациях, которые могут вы
полняться в ответ на ранее выданные запросы. Для описания ис
тории индикаций используется множество.
process TSConnectionIess[tJ : noexit :=
Connectionless ft] (NoTCIReq)
endproc (* TSConnectionless *)
process Connectionless^) (rh : TCIReqHistory) : noexit :=
47
\