ГОСТ Р ИСО/МЭК ТО 10С23—93
t?ta : TAddress ?tsp i TSP (isTUDTreq (Isp) and
(Lenght (UserData (tsp))
le MaxTUDTLength)] ; Connectionless [t] (Insert(tsp, rh))
|rh ne NoTCIReq)
— >
(choice tspr, tspiTSP
[tspr Isln rh and (tspi IsIndicationOf tspr)}
—>
t’ta : TAddress Itspi [ta lsCallingOf tspi) ;
(Connectionless |t] (Remove(trnr, rh))
l )
j ; Connectionless [t] (rh))
i ; Connectionless [t] (Remove(tspr. rh))
endproc (* Connectionless *)
16.2 Оп р е д е л е н и я да н ных
type BasicTransportServiceConnectionlessRecHistory
Is Set actualizedby TransportServicePrimitlve using
sortnames
TSP for Element
Bool for FBool
TCIRcqHistory for Set
opnnarnes
NoTCIReq for { }
endtype
(*
BasicTransportServiceConnectionlessRecHistory *)
type MaxTUDTLength
Is DecNatRepr
opns
MaxTUDTLength:— > nat
eqns
ofsort Nat
MaxTUDTLength- NatNum(6+ (3+ (4+ (8+ D ec(8)))));
endtype {* MaxTUDTLength *)
endspec (* TransportScrvice *)
48