ГОСТ Р ИСО/МЭК ТО 10023-93
которая представляет требования согласования транспортных ус
луг. Определение TSUserRoIe дано в разделе 10.
process TCEPConnectl [t] (role : TSUserRoIe) : exit(TSP) : -
[role-CallingRole]
t?la : TAddress ?tcei : TCEI ?tcr : TSP (IsTCONreq(tcr). and
(ta IsCallingOf ter)] ; exit (ter)
frolc^CalledRole]
t ?ta : TAddress ?tcei : TCEI ?tci : TSP [IsTCONind(tci) and
(ta IsCalledOf tci)] ; exit (tci)
endproc (* TCEPConnectl *)
process TCEPConnect2]t] (tci : TSP) : exit(TEXOptlon)
t ?ta : TAddress ?tcei : TCEI ?tc2 : TSP [tc2 lsVa!idTCON2For tell;
(choice x : TEXOption f 1 [x IsTEXOptionOf tc2] - > exit (x))
endproc (* TCEPConnectl *)
C ________________________________________________________________
11.3.3
Фаза передачи данных в оконечном пункте ТС
------------------
---
-----
---
------------------------------------------------
process TCEPDataTransfer ft] (х : TEXOption): noexit : =
TCEPNormalDataTransfer [t]
III, ri
fx = UseTEX] - > TCEPExpeditedDataTransfer ft]
endproc (* TCEPDataTransfer *)
process TCEPNormalDataTransfer ft] : noexit : —
t ?ta:TAddress ?tcei : TCEI ?tsp : TSP (IsTDT(tsp)] ;
TCEPNormalDataTransfer ft]
endproc (* TCEPNormalDataTransfer *)
process TCEPExpeditedDataTransfer ft] : noexit : =
t ?ta : TAddress ?tcei : TCEI ?tsp : TSP [IsTEX(tsp)] ;
TCEPExpeditedDataTransfer ft]
endpfoc {" TCEPExpeditedDataTransfer *)
Г
_________________________________________________________________
11.3.4
Фаза освобождения в оконечном пункте ТС
process TCEPRelease ft] : exit : =
t ?ta : TAddress ?tcei : TCEI ?tsp : TSP flsTDlS(tsp)] ; exit.
36