ГОСТ Р ИСО/МЭК ТО 10023—9.’!
• 1) в индикации, связанной с запросом следующей более высо
кой значимости в erh, если таковой существует, или
2) в генерированной поставщиком индикации (см. 8.4.3.4).
В случае I) требования Ь). с) и d) применяются к erh, без его
верхнего запроса.
d)Если пользователь отклоняет индикацию, то должна быть
представлена индикация, соответствующая случаям 1) или 2) тре
бования с)
process TSPReqEvent [t] (rh : TReqHistory) : exit(TReqHistory) :=
t?ta : TAddress ?tce( : TCEI ?tsp : TSP [IsTReq(tsp) ] ; exit
(Append(tsp. rh))
endproc (* TSPReqEvent *)
process TSPEvent [t] (erh.rh : TReqHistory) : exit (TReqHistory) : =
TSPReqEvent [t] (rh)
(not(IsEmptyterh))]
— >
(choice tspr. tspi : TSP
l(tspr IsTopOf erh) and (tspi IsIndicationOf tspr)]
— >
\
;•
(t ?ta : TAddress ?tcei: TCEf Itspi: exit (Remove(tspr, rh))
f 1 i ; TSPEvent [t] (Reduce(erh), rh)))’
JIsEmpty(erh)]
— >
(choice tdi : TSP’
[ProviderGeneratedlnd (tdi)]
—>
i ;
(t?ta : TAddress ?tcei : TCEI !tdi ; exit (rh) [ ] TSPReqEvent [t]
(rh))}
endproc (* TSPEvent *)
__________________________________________
___
_ _ __
13 ИДЕНТИФИКАЦИЯ ТРАНСПОРТНЫХ СОЕДИНЕНИЯ
Любые два разных экземпляра TConnection, которые одновре
менно имеют доступ к одному ПДУТ, должны быть различимы