гост р исо/мэк то 10023—вз
Subsort(TUDTreq(аI, а2, cJq, d)) =TUDATArcqucst;
Subsort(TUI)Timiial, a2. clq. d)) =TUDATAindication;
ofsort Bool
IsTCON(t) -- IsTCON’l ft) or lsTCON2(t);
IsTCON’l (t) - IsTCONreq(t) or IsTCONindU);
IsTCON2(t) « IsTCONresp(t) or IsTCONconf(t);
IsTDT(t) = IsTDTreq(t) or IsTDTind(t);
IsTEX(t) = IsTE.Xreq(t) or IsTEXind(t);
IsTDlS(t) = IsTDISreq(t) or IsTDISind(t);
IsTCONreq(t)-^Subsort(t) eq TCONN’ECTrequest;
IsTCONind(t) —Subsort(t) eq TCONNECTindication;
IsTCONresp(t) =Subsort(t) eq TCON’NF.CTrcspotise;
IsTCON’conf(t) = Subsort (t) eq TCONNECTconfirm;
IsTDTreq(t) = Subsort (t) eq TDATArequest;
IsTDTind(t)Subsort (t) eq TDATAindication;
IsTEXreq(t) - Subsort (t) eq TEXDATArequest;
IsTFXind(t) “ Subsort (t) eq TEXDATAindication;
IsTDISreq(l) —Subsort(t) eq TDlSCONNrequcst;
IsTDlSind(t) Subsort(t) eq TDlSCONNindication;
IsTUDT(t) —IsTUDTreq(t) or IsTUDTind (t);
IsTUDTreq(t) —Subsort(t) eq TUDATArequest;
IsTUDTind(t) “ Subsortttl eq TUDATAindication;
IsTReq(t) -IsRcquest (Subsort (t));
IsTInd(t) - vindication (Subsort (t));
endtype (*TSPBasicClassifiers 4)
84.2.2
В с п о м о г а т е л ь н а як л а с с и ф и к а ц и я
TDATAAtotnSubsorl вводит дальнейшую классификацию эле
ментарных составляющих примитивов данных, а именно октеты
данных пользователя и ограничители СБДТ. Однако в данной
спецификации эти составляющие не специфицированы.
П р и м е ч а н и е — Единственная причина представлении TDATAAtomSub-
sort в >том описании состоит н том. что таким способом тип данных
T/anspoMServicePrimltive допускает конссрввтнинос расширение, при котором
можно ввести более нзяошос нсэлсмеигариое представление примитивов дан
ных, Такое расширение необходимо в формализованном описании транспортного
протокола для правильной формулироаки требований, евпзанных с сегментацией
и управлением потоком.
Булева функция Terminates, определенная в TSPClassifiers,
связывает элементарное выполнение примитивов данных, что ха
рактерно для определения услуг, с неэлементарным их выполне
нием. присутствующим в формализованном описании протокола.
3 Зак. ЗвЗ
9