ГОСТ Р ИСО/МЭК ТО 10023-93
NoTReqs;
IsTReq(t), fsTEX(t)orIsTCON(t) - > Tops«OnTopOf h ) -
f OnTopOf TDISTops(h);
fsTReq(t). IsTDT(t) = > T op s{t OnTopOf h ) - t OnTopOi
TEXDISTops(h):
TDISTops(NoTReqs) -NoTReos;
IsTReq(t)’,IsTDIS(l) - >TDISTops(tOnTopOf h)=tOnTopOf
NoTReqs;
IsTReq(t), no((IsTDIS(t)) =>TD ISTops(t OnTopOf h )-
TDISTops(h);
TEXDlSTops(NoTReqs) = NoTReqs;
IsTReq(t). IsTDlS(t) = > TEXDlSTops(T OnTopOf h)-TDISTops(t
OnTopOf h):
IsTReq(t), IsTEX(t) - > TEXDlSTops(t OnTopOf h)=t OnTopOf
TDISTops(h);
IsTReq(t), not(IsTEX(t)). not<IsTDIS(t))
= >TEXDISTops(t OnTopOf h) = TEXDISTops(h);
endtype (■ TransportServiceTSPRequestHistory *)
*****/’’
.......
"""""
12.3.3
Определения процессов
ч
Для заданной истории запросов rh TSPEvcnt специфицирует ог
раничения на возможное следующее событие. Параметр erh — это
последовательность выполненных запросов, достаточная для опре
деления следующей возможной индикации.
Следующие четыре требования формулируются для обслужи
вания недетермннизма поставщика в плане его участия в следую
щем событии.
а) Поставщик никогда не отказывается участвовать в событии
запроса (см. также определение TSPReqEyent ниже).
П р и м е ч а н и е — Возможное отклонение запросов определяется процес
сами TCAcccptanc* и TBackpressure (см. соответственно разделы 14 и 15).
Ь) Может быть выполнена только та индикация, которая отно
сится к верхнемузапросунепустой erh.соответствующей
IslndicationOf (см. 8.4.3.4). Если такая индикация возникает, соот
ветствующий ей запрос удаляется из rh.
П р и м е ч а н и е —
Для
заданного запроса поставщик озаглавливается,
чтобы автономно определить значения параметров индикации, при условии, что,
они удовлетворяют этому требованию.
с)Для любого заданного верхнего запроса непустого erh пос
тавщик может представить не связанную с ним индикацию только
в том случае, если это вызывает участие:
4В