ГОСТ Р ИСО/МЭК ТО 10023-93
Этим процессом специфицируется недетерминированность постав
щика, которая влияет на данную взаимосвязь. Кроме того,
TCEPAssociation определяет нелетерминизм, связанный с выпол
нением примитивов, генерированных поставщиком.
П р и м е ч а н и е — Техническое замечание о завершении: завершение обоях
процессов, представляющих концы соединения — явно достаточное представле н а
конка времени жизни этого соединении Вот почему параллельный компо нент.
содержащий TCEPAssociation. описан (е использованием конструкции [> cxitj
как способный завершиться в любой момент времени, тогда как
TCEPAssociation — бесконечный процесс
type TSUscrRole
is TwoTuplet renamedby
sortnames
TSIJserRole for Tuplet
opnnames
CallingRolc for TheOne
CalledRole for TheOther
endtype (* TSUserRote *)
type TSPDirection
is TwoTuplet renamedby
sortnames
TSDirection for Tuplet
opnnames
Request for TlieOn’e
Indication for TheOther
endtype (♦ TSPDirection *)
process TConnection ft] : exit: —
(TCEP [t] (CallingRoIe) fjf TCEP ft] (CalledRole))
(TCEPAssociation ft] f> exit)
endproc (* TConnection •)
Г __________________________
___
_
___
______________________
11 ЛОКАЛЬНЫЕ ОГРАНИЧЕНИЯ ДЛЯ ОКОНЕЧНОГО ПУНКТА ТС
II.IО б ще е опис ание
Первые три процесса следующей декомпозиции локальных ог
раничений на взаимодействия одного ТС в каждой оконечной точ
ке отражают структуру события: это делается с целью
отделения ограничений, применяемых к каждому компоненту
структурысо
бытия,, от ограничении, применяемых к другим компонентам.
Чет
вертый процесс специфицирует ограничение, упомянутое в приме
чзнни к $.4.1.
зз