ГОСТ р ИСОМЭК ТО 10023-93
process ТСЕР It] (role : TSUserRolc): exit: —
TCEPAddress ft]
J| TCEPIdentification It]
11 TCEPSPOrdering [t] (role)
11 TCEPUserData [t]
endproc (* TCEP *)
11.2 Адре с и и д е нт ифик а ция о к о н е ч н о йто чк и
ТС
Локальные ограничения на адресную и идентификаторную час
ти событий в оконечной точке ТС имеют сходную форму: значение
определяется при первом событии совместнос пользователем
транспортных услуг, а затем остается постоянным.
ов (см 1Г.3 1).
П р и м е ч а н и е — Завершение обоих процессов допускается в любой мо мент
времени: конек локального (т е. з оконечной точке ТС) времени жизни
ТС
на
самом деле определяется локальным упорядочением сервисных примити
в
------
--
---------------------------------------------------------------
---
—
process TCEPAddress [t] : exit: =
t3ta : TAddress ?tcei : TCEI ?tsp : TSP ; ConstantTA [t] (ta)
[> exit
endproc {* TCEPAddress *)
process ConstantTA [tj (ta : TAddress) :noexit : =
t?ta ?tcei : TCEI ?tsp : TSP ; ConstantTA [t] (ta)
endproc (* ConstantTA *)
process TCEPIdentification [t] : exit: =
t?ta : TAddress ?tcei : TCEI ?tsp : TSP ; ConstantTCEI ft] (tcci)
|> exit
endproc (* TCEPIdentification *)
process ConstantTCEI ft] (tcei : TCEI): noexit: =
t?ta : TAddress Itcei ?tsp : TSP ; ConstantTCEI ft] (tcei)
endproc {•* ConstantTCEI *)
11.3 Л о к а л ь н о еу п о р я д о ч е н и ес е р в и с н ы хпри-
мити
bob
и о к о н е ч н о мпункте ТС
II.3.1 Общее описание
TCEPSPOrdering определяет ограничения на возможные после
довательности примитивов в одном оконечном пункте ТС (см. ри-
сунох 5 и таблицу 4 ГОСТ 34 960), применяемые к одному ТС.,
34