ГОСТ Р НСО/МЭК ТО №
028-93
fcndproc (■* TCEPRelease *)
11.4О г р а н и ч е н и яна д а н н ы еп о л ь з о в а т е л я
Длина параметра данных пользователя в примитивахтранс
портных услуг ограничивается TCEPUserData, что изложено в
12.2.7; 13.1.13; 13.2.3 н 14.2.2 ГОСТ 34.960. отражаемых здесь.
т)
process TCEPUserData Ш : exit : «
t ?ta : TAddress ?tcei : TCE1 ?tsp : TSP [IsValidUserData(tsp)] ;
TSEPUserData [t] [ ] exit
endproc (* TCEPUserData •)
type ValidUserData
is TransportServicePrimitive
opns
IsVaiidUserData: TSP—> Bool
eqns
forall
t : TSP
oCsort Bool
IsTCON(t) *=> IsVaiidUserData(t)-Length(UserData(t)) le
NatNum (3+ Dec (2));
IsTDT(t) = > IsVaiidUserData (t)-Length (UserData (t)) gt 0;
IsTDlS(t) - > IsVaiidUserData(t) -Length(UserData (t)) le
NatNum (6 + Dec (4));
IsTEX(t)
= > IsVaiidUserData (t)
-Length(UserData(t) gt 0) and (Length(UserData(t)) le NutNum
(I + Dec (6)));
endtvpe (• ValidUserData *)
Г
________________________________________________________________
12 МЕЖОКОНЕЧНЫЕ ОГРАНИЧЕНИЯ ДЛЯ ОДНОГО ТС
12.1Об ще е опис а ние
После выполнения первого запроса TCEPAssociation расщеп
ляется на два экземпляра TAssocl — по одному экземпляру на
каждое направление передачи. Эти два экземпляра могут быть
созданы независимо и параллельно, поскольку они образуют от
дельные части поведения. В самом деле, когда бы один из них ни
вызывал взаимодействие, другой не будет вовлечен в это взаимо
действие.
37