Информационная технология. Передача данных и обмен информацией между системами. Формализованное описание услуг транспортного уровня (ГОСТ 34.960-91) на языке LОТОS
На нашем сайте можно бесплатно скачать Руководящий документ ГОСТ Р ИСО/МЭК ТО 10023-93 в удобном формате. Узнать актуальный статус документа «Информационная технология. Передача данных и обмен информацией между системами. Формализованное описание услуг транспортного уровня (ГОСТ 34.960-91) на языке LОТОS» на 2016 год.
Скрыть дополнительную информацию
Страница 1
Страница 2
Страница 3
Страница 4
Страница 5
Страница 6
Страница 7
Страница 8
Страница 9
Страница 10
Страница 11
Страница 12
Страница 13
Страница 14
Страница 15
Страница 16
Страница 17
Страница 18
Страница 19
Страница 20
Страница 21
Страница 22
Страница 23
Страница 24
Страница 25
Страница 26
Страница 27
Страница 28
Страница 29
Страница 30
Страница 31
Страница 32
Страница 33
Страница 34
Страница 35
Страница 36
Страница 37
Страница 38
Страница 39
Страница 40
Страница 41
Страница 42
Страница 43
Страница 44
Страница 45
Страница 46
Страница 47
Страница 48
Страница 49
Страница 50
Страница 51
Страница 52
Страница 53
ГОСТ Р ИСО/МЭК ТО 10023 -93
государственный стандарт российской федерации
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ
ПЕРЕДАЧА ДАННЫХ И ОБМЕН ИНФОРМАЦИЕЙ МЕЖДУ СИСТЕМАМИ. ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ УСЛУГ ТРАНСПОРТНОГО УРОВНЯ (ГОСТ 34.960-91) НА ЯЗЫКЕ
LOTOS
Издание официальное
БЗ 12-92/1177
ГОССТАНДАРТ РОССИИ Москва
ГОСТ Р ИСО МЭК ТО 10023—93
Предисловие
1 ПОДГОТОВЛЕН И ВНЕСЕН Техническим комитетом по стан* даргизакии ТК 22 «Информационная технология*
2 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Постановлением Гое-стандарта России от 29.12.93 № 29!)
Настоящий стандарт подготовлен на основе применения аутентичного текста международного стандарта ИСО МЭК ТО 10023— 92 «Информационная технология. Передача данных и обмен информацией между системами. Формализованное описание ИСО 8072 на LOTOS*
3 ВВЕДЕН ВПЕРВЫЕ
© Издательство стандартов, 1994 Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Госстандарта России
ГОСТ Р ИСО/МЭК ТО 10023-93
СОДЕРЖАНИЕ
1 Область применения . . .
2 Нормативные ссылки . . . .
3 Определения . . . , . ,
< Символы и сокращения - ......
5 Соглашения ……..
6 Требования . . …
7 Введение о формализованное описание
8 Типы данных на интерфейсе … .
9 Глобальные ограничения . …..
10 Обеспечение транспортного соединения . .
11 Локальные ограничения лдя оконечного пункта ТС
12 Межоконечяые ограничения для одного ТС … .
13 Идентификация транспортных соединений .
J4 Принятие транспортных соединений … , .
15 Управление погоном при помощи обратной связи
16 Передача в рсжиме-бсг-устаноэлеиня-соединечия
Библиографические данные……..
III
ГОСТ Р ИСОМЭК ТО 10023—93 ГОСУДАРСТВЕННЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ
Информационная технологи*
ПЕРЕДАЧА ДАННЫХ И ОБМЕН ИНФОРМАЦИЕЙ МЕЖДУ СИСТЕМАМИ. ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ УСЛУГ ТРАНСПОРТНОГО УРОВНЯ (ГОСТ 34.990— 91) НА ЯЗЫКЕ LOTOS
Inlonnation Technology. Telecommunications and Information Exchange Between Systems. Formal Description of 8072 in LOTOS
Дата введения 1994—07—01
1 ОБЛАСТЬ ПРИМЕНЕНИЯ
Настоящий стандарт распространяется на транспортный уровень эталонной модели взаимосвязи открытых систЬч (ВОС) и определяет услуги транспортного уровня ВОС, определенные в ГОСТ 34.960. при* помощи метода формализованного описания LOTOS, определенного в ИСО 8807.
Примечание • Формальное определение типов данных и процессы, представленные в настоящем стандарте, могут использоваться для формализованного описания протоколов транспортного и сеансового уровней ВОС на языке LOTOS
2 НОРМАТИВНЫЕ ССЫЛКИ
Нижеперечисленные стандарты содержат положения, которые путем ссылок на них по тексту образуют положения настоящего стандарта. Все ссылки предполагают последнее издание указанных стандартов.
Национальные комитеты — члены МЭК и ИСО имеют списки международных стандартов, действующих на текущий момент.
ГОСТ 28006-91 (ИСО 7-198-84, ИСО 7498-84 Доп. 1-84) Системы обработки информации. Взаимосвязь открытых систем. Вазовая эталонная модель
ГОСТ 34.960-91 (ИСО 8072-86, Доп. 1—86 ИСО 8072—86) Системы обработки информации. Взаимосвязь открытых систем. Определение услуг транспортного уровня
Издание официальное
I
ГОСТ Р И СО/М ЭК ТО 10023-93
ИСО 8072—86/Пои. I Системы обработки информации. Взаимосвязь открытых систем. Определение услуг транспортного уровня. Техническая поправка 1*.
ИСО/ТО 8509—87 Системы обработки информации. Взаимосвязь открытых систем. Соглашения по услугам *.
ИСО 8807—89 Системы обработки информации. Взаимосвязь открытых систем. LOTOS — метод формализованного описания, основанный на упорядочении во времени наблюдаемого поведения *.
ИСО/МЭК ТО 10024 92 Информационная технология. Передача данных и обмен информацией между системами. Формализованное описание ИСО 8073 (разделы 0. 1, 2 и 3) на языке LOTOS *
3 ОПРЕДЕЛЕНИЯ
В настоящем стандарте используются определения, приведенные в ГОСТ 34.960.
4 СИМВОЛЫ И СОКРАЩЕНИЯ
В настоящем стандарте используются символы, определенные в разделе 6 (формальный синтаксис) и приложении А (библиотека типов данных) ИСО 8807.
В настоящем стандарте используются сокращения, содержащиеся в разделе 4 ГОСТ 34.960. Использование других символов и сокращений поясняется при первом их появлении.
5 СОГЛАШЕНИЯ
Неформальные пояснения, предшествующие формальным определениям, к которым они относятся, отделяются от последних показанной ниже верхней линией. Отделение формальных определений от последующих неформальных пояснении обозначается показанной нижней линией.
* До прямого применения данного документ* в качестве государственного стандарта его распространение осуществляет секретариат TK 22 «Икфориааяон-лая технология».
2
ГОСТ Р ИСО МЭК ТО 10023-03
Приме чайке *- Это «оглашение соответствует правилаv 01раинчеиия комментариев, определенным для LOTOS в ИСО «807 Формальны!) текст представлен курсивом, а ключевые слова и операторы LOTOS — полужирным шрифтом. Идентификаторы из форматированного текста п неформатированном тексте набраны курсивом.
Соблюдаются соглашения, определенные н ИСО/ТО 8509, но с учетом следующего: термин «запрос» означает как запросные, так и ответные сервисные примитивы, а Термин «индикации» Означает сервисные примитивы как индикации, так и подтверждении.
в ТРЕБОВАНИЯ
Настоящий стандарт отвечает требованиям, изложенным в разделе 3 ИСО 8807 (более подробную информацию см. в приложе нин С к указанному стандарту). Настоящий стандарт не содержит каких-либо требований к соответствию.
7 ВВЕДЕНИЕ В ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ
Вся граница услуг формально представлена в виде единственного шлюза t. Структура события в I представляет собой тройку значений типа TAddress. TCEJ, TSP (см. раздел 8). Первое значение идентифицирует TSAP, в котором происходит взаимодействие. Второе значение идентифицирует ТСЕР внутри TSAP. п котором происходит взаимодействие. Третье значение — это выполняемый при взаимодействии примитив транспортного уровня (TSP). Конкретные значения зависят от многих аспектов услуги.
Описывается поведение поставщика услуг бесконечного айда. Спецификация не содержит параметров.
Используется стиль спецификации, ориентированный на ограничения. поскольку он наиболее подходит для определительного характера стандарта по услугам. Описание ориентировано на характеристики модальностей поведения поставщика услуг исключительно в терминах последовательности выполняемых TSP, т. е. без -каких-либо предположений о внутренней структуре самого поставщика.
В основе первой декомпозиции специфицируемого поведения лежат следующие отдельные ограничения:
a) поставщик услуг может допускать множество, возможно,одновременных соединений (представленных процессом TConnections,* см. раздел 9), вместе со
b) средством выбора среди одновременных соединений нужного (представленным процессом TCIdentiiication, см. раздел 13), но при
3
ГОСТ Р ИСО/МЭК ТО 10023—93
с) возможности внутреннего недетермннизма при установлений любого дополнительного соединения, если, по меньшей мере, одно соединение уже поддерживается (представленной процессом TCAcceptancc. см. раздел 14), и
<1) возможности внутреннего недетермннизма при передаче данных (представленной процессом ТВаскрге$йнге. см раздел 15); при помощи этого принимающий пользователь вызывает эффект управления потоком, сообшая об этом передающему пользователю.
Спецификация динамического поведения предьаряется спецификацией типов данных на интерфейсе {см. раздел 8). Такие определения являются общими для формализованных описаний, которые могут взаимодействовать, а именно для протоколов транспортного и сеансового уровней.
Порядок представления остальных определении обоснован желанием следовать порядку, установленному ГОСТ 34.960, который в основном связан с обеспечением единственного ТС. Описание требований, являющихся локальными для обеспечения одного ТС (представлены в разделах 10, И и 12), предшествуют описаниям глобальных требований, упомянутых выше в Ь), с) и d) соответственно.
Типы данных, определенные конструкцией library, импортируются из библиотеки типов данных LOTOS.
specification TransportService|t]: noexit
library Set. Flemeni, OctetSlring, NatRepresenlaiion, jNatiiralNum-
ber, Boolean. FBoolean. DecNalRepr
endlib
8 ТИПЫ ДАННЫХ НА ИНТЕРФЕЙСЕ
8.1 Общее описание
В соответствии с представлением взаимодействий на границе транспортных услуг (см. раздел 7) типы данных на интерфейсе состоят из трех основных определении, которые соответственно составляют виды TAddress (см. 8.2), ТСЕ1 (см. 8.3) и TSP (см. 8.4). Параметр TSP — качество услуги — определяется в 8.5, а остальные параметры — в 8.6. В 8.7 представлены вспомогательные определения.
8.2 Транспортный адрес
В ГОСТ 34.960 не определена структура транспортного адреса. Следующее определение использует определение Generalldentifier
4
ГОСТ Р ИСО’МЭК ТО 10023-93
{см. 8.7) и позволяет представлять бесконечное число транспортных адресов.
type Transport Address
is GeneraHdentifier renamedby
sortnames
TAddress for ideniifier opnnames
SomeTAddress. for Someldcntifier AnotherTAddress for Anotherldentifier endtype (* Trans port Address *)
8.3 Идентификатор оконечного пункта транспортного соединения
В ГОСТ 34.960 не определена структура идентификатора оконечного пункта транспортного соединения. Приводимое ниже первое определение позволяет представить бесконечное их число. Второе определение представляет идентификаторы оконечного пункта транспортного соединения, которые являются глобальными для всей границы транспортных услуг. Каждый из них представляет собой пару TAddressxTCEI (общее определение Pair и General-Identifier см. в 8.7).
type TCEndpointIdentifier is GeneraHdentifier renamedby sortnames
TCEI for identifier opnnames
SomeTCEl for Somtldentifier AnotherTCEl for Anotherldentifier endtype (■* TCEndpointfdentifier *) type TCEIdentification
is Pair actualizedby TransportAddress, TCEndpointfdentifier using sortnames
TAddress for Element TCEI for Element2 Bool for Fbool Tld for Pair opnnames
TId for Pair
ГОСТ Р ИСО/МЭК ТО 10023—93
ТА (or First TCEI for Second endtype TCEJdentificaiion *)
♦
8.4 Сервисный примитив транспортного уров-ii я (Т S Р)
8.4.1 Общее описание
Тип данных TCP представлен, начиная с базовой конструкции значении вида TCP (см. ниже). Эта конструкция является прямой формулировкой определения, приведенного в таблице 3 ГОСТ 3-1.960. Функции, генерирующие значения TCP. называются «конструкторами ТСР». Это определение заимствует определения, связанные с параметрами TCP (см. 8.6).
П р и w е ч а к к с — В некоторых TCP параметр L’serDala представляет совой OctetSlring, имеющий фиксированные границы, хак определено » ГОСТ М 960 По техническим соображениям это требование формально представлено процессом ограни’*енм* (см 11.1 и 114), а не ограничивающим типом.
В 8.4.2 приведена классификация TCP. которая позволяЬт. с одной стороны, простым путем расширить базовую конструкцию дополнительными функциями (см 8.4.3), а с другой — консервативно расширить тип данных в формализованном описании транспортного протокола.
|
TCONreq, TCONind type BasicTSP is TransportAddress, TEXOptior, TSQuality, OctetString. TDJSRea- son. TsCIQuatity sorts TSP opns
TCOMrcsp, TCONconf TDTreq, TDTind TEXreq. TEXind TDISreq TDISind TUDTreq, TUDTind |
TAddress, TAddress. TEX-Option, TQOS. OctetString -> TSP TAddress. TEXOption. TQOS. OctetString —> TSP OctetString —> TSP OctetString —> TSP OctetString —> TSP TDISReason. OdctString —> TSP TAddress, TAddress. C1QOS, |
б
ГОСТ Р ИСО/МЭК ТО 10023—93 OctetStrfng —> TSP
endtype (* BasicTSP *)
‘ Г_____________________________________________________________
8.4 2 Классификация сервисных примитивов транспортного уровня
8.4.2.! Базовая классификация
Базовая классификация TCP определена при помоши TCPSub-sort, состоящего из набора констант, каждая из которых задает имя TCP в соответствии с таблицей 3 ГОСТ 34.960.
Тип TCPBasicClassifiers — это функциональное расширение базовой конструкции в 8.4.1, где:
a) функция Subsort генерирует имя TCP:
b) булевы функции на TCP, названные «определителями подвида ТСР», определяются в соответствии с базовой классификацией, введенной при помощи TCPSubsort.
Примечание — Вспомогательная функция h. отображающая имена TCP на натуральные числа» определяется для упрощения спецификации булевых операций равенств на именах TCP (так же, как на TCP в 8.4 3.3) Определение fsRequesf. Islndicatfon (на именах TCP) я IsTrcq. -IsTind (на TCP) отражает соглашение, введенное в раздел 5.
type TSP’Subsort is NaturalNumber sorts
TSPSubsort
opns
TCONNECTrequest. TCONNECTindication. TCONNECTres-ponse. TCONN’ECTconfirm. TDATArequest, TDATAindica-tion. TEXDATArequest, TEXDATAindication, TD1SCONN-request, TDISCONNlndicalion, TlJDATArequest, TUDATA-indication : —> TSPSubsort
h : TSPSubsort • -> Nat
E\en, Odd : Nat —> Bool
(sRequest, vindication : TSPSubsort —> Bool
_eq_._ne_ : TSPSubsort, TSPSubsort
—> Boo!
eqns
foral!
s, si ?• TSPSubsort, n : Nat ofsort Nat
h (TCONNECTrequest) =0;
ГОСТ Р ИСО/МЭК то 10023—93
b (TCONNECTindication) = Succ (h (TCONNECTrequest)); h (TCONNECTresponse) = Succ (h (TCONNECTindication)); h(TCONNECTconfirm)-Succ(h(TCONNECTresponsc)); h (TDATArequest) =Succ(h (TCONNECTconfirm)); h (TDATAindication) = Succ (h (TDATArequest)); h( TEXDATArequest) = Succ (h (TDATAindication)); h (TEXDATAindication) = Succ (h (TEXDATArequest));
Ji (TDISCON Nrequest) = Succ(h (TEXDATAindication)); h (TDISCONNindication) = Succ (h (TDISCONNrequest)); ofsort Bool
Even (0) =true;
Even (Succ (0)) — false.
Even (Succ (Succ (n))) — Evfcn(n);
Odd(n) =» not (Even (n));
IsRequest (s) = Even (h (s)); vindication (s) = Odd(h(s));
5 eq sl = h(s) eq h(sl); s ne sl«not(s eq si); endtype (* TSPSubsort *) type TSPBasicClassifiers is BasicTSP, TSPSubsort opns
Subsort : TSP —> TSPSubsort
IsTCON. IsTCONl. lsTCON2. IsTDT, IsTEX. IsTDIS, IsTCONreq, IsTCONind. fsTCONresp. IsTCONconf. IsTDTreq, IsTDlSind, IsTReq. IsTInd : TSP —> Boo!
cqns
foraJI
a. al. a2 : TAddress, x : TEXOption. q : TQOS, d : OctetString. r : TDISReason, t : TSP. clq CLQOS oisort TSPSubsort
Subsort(TCONreq(aI, a2. x. q. d)) -TCONNECTrequest; Subsort (TCONind (a 1, a2. x. q. d)) «TCONNECTindication;
Subsort (TCONresp (a, x. q. d)) = TCONNECTresponse; Subsort(TCONconf(a, x, q. d)j = TCONNECTconfirm; Subsort (TDTreq (d)) *- TDATArequest;
Subsort (TDTind (d)) — TDATAindication;
Subsort (TEXreq (d))» TEXDATArequest;
Subsort (TEXind (d)) = TEXDATAindication;
Subsort (TDI Srcq (d)) = TDISCONNrequest;
Subsort (iTDISind (r, d)) =TDlSCONNindfcatioft;
ГОСТ Р ИСО/МЭК ТО 10023—93
Subsort (TUDTreq(aI, а2, clq, d)) =TUDATArequest;
Subsort (TUDTind (a I, a2. clq, d)) =TUDATAindication; ofsort Bool
IsTCON JsTCONI(t)-IsTCONreq(t) or !sTCONind(l); IsTCON2(<)"IsTCONresp(t) or JsTCONconf(t); IsTDT(t) = IsTDTreq(t) or IsTDTind(t); IsTEX(t) = IsTEXreq(t) or IsTEXiiid(t); IsTDlS(t) = IsTDlSr’eq(t) or IsTDISind IsTCONreq(t)-^Subsort(t) eq TCON’NECTrequest; IsTCONind(t)-Subsort(t) eq TCONNF.CTindication; IsTCONresp(t) =Subsort(t) eq TCONNECTresponse; IsTCONconf(t) = Subsort (t) eq TCONNECTconfirtn; IsTDTreq(t) =Subsort(t) eq TDATArequest; IsTDTind(t)— Subsort (t) eq TDATAindication; IsTEXrcq(t) — Subsort (t) eq TEXDATArequest; IsTEXind(t)“Subsort(t) eq TEXDATAindication; IsTDISreq(t) — Subsort (t) eq TD1 SCON N request; IsTDISind(t) =-Subsort{t) eq TDlSCONNindication; IsTUDT(t) — IsTUDTreq(t) or IsTUDTind(t); IsTUDTreq(t) —Subsort(t) eq TUDATArequest; IsTUDTind (t) — Subsort (t) eq TUDATAindication; IsTReq (t) — IsRcquest (Subsort (t)); IsTFnd(t) — vindication (Subsort (t)); endtype (*TSPBasicCla$sifiers 4) 8.4.2.2 Вспомогательная классификация TDATAAtomSubsort вводит дальнейшую классификацию элементарных составляющих примитивов данных, а именно октеты данных пользователя и ограничители СБДТ. Однако в данной спецификации эти составляющие не специфицированы. Примечание — Единственная причина представления TDATAAtomSubsort в »том описании состой » том. что таким способом тип данных TransportServicePrimftive допускает консервативное расширение, при котором можно ввести более изящное исмемеигариос представление примитивов данных. Такое расширение необходимо в формализованном описании транспортного протокола для правильной формулировки требований, связанных с сегментацией и управлением потоком. Булева функция Terminates, определенная в TSPClassifiers, связывает элементарное выполнение примитивов данных, что характерно для определения услуг, с неэлементарным их выполнением, присутствующим в формализованном описании протокола. 3 Зак. 363 9 ГОСТ Р ИСО’МЭК ТО 10023-93 type TDATAAtomSubsort is FourTuplet renamedby sortnames TDATASubsort for Tuplet opnnames TDATAOCTrequest for TheOne TDATAOCTindication for TheOther TEOTrequest for TheThird TEOTindication for TheFourlh .endtype {* TDATAAtomSubsort *) type TSPClassifiers is TSPBasicClassifiers, TDATAAtomSubsort opns Terminates : TDTASubsort, TSP —> Bool eqns forall d : OctetString, s TDTASubsort, t TSP ofsort Bool TEOTrequest Terminates TDTreq(d) =true; TEOTindication Terminates TDTind(d)—true; TEOTrequest Terminates TDTind(d) = false; TEOTindication Terminates TDTreq(d) = false; TDATAOCTrequest Terminates t = false; * TDATAOCTindication Terminates t = false; not(lsTDT(t)) => Terminates t = false; endtype {* TSPClassifiers *) 8.4.3 Функции сервисных примитивов транспортного уровня 8.4.3.1 Общее описание В 8.4.3.2 конструкция, представленная в 8.4.2, расширяется функциями, допускающими определение значений конкретных параметров TCP. В 8.4.3.3 в эту конструкцию добавляются булевы равенства. В 8.4.3.4 представлены дальнейшие функциональные расширения, которые полезны для представления согласования (см. 11.3.2) и недетерминизма поставщика услуг (см. 12.3.3). 8.4.3.2 Селекторы параметров сервисных при-миг ив о в транспортного уровня Для сравнения или селекции значений конкретных параметров TSP определены булевы функции. Причина для такого непрямого представления — неполнота определения при помощи равенств. Ю ГОСТ Р ИСО’МЭК то 10023—93 Единственное исключение имеется в прямом представлении параметра данных пользователя при помоши функции UserData, так как этот параметр можно определить во всех TSP. type TSPParameterSelectors is TSPCIassifi.ers opns IsCalledOf-.. -IsCallingOf-, -IsRespondingOf- : TAddress, TSP — >Bool -IsTEXOptionOf-: TEXOption, TSP —> Bool : TQOS, TSP —> Bool : TDISReason. TSP —> Bool -IsTQOSOf- -IsReasonOL UserData —> OdetSlring : TSP eqns forall a, al, a2 : TAddress. x, xl, : TEXOption, q, ql : TQOS, d : OctetString, r, rl : TDISReason, t : TSP, clq, clql : C1QOS of sort Bool a IsCalledOf TCONreq(al, a2, x, q, d)-a eq al; a IsCalledOf TCONind(al, a2, x, q, d) =a eq al; a IsCalledOf TUDTreq(al, a2, clq, d)—a eq al; a IsCalledOf TUDTind(al, a2, clq, d)-a eq al; not(IsTCONI (t)) -> a IsCalledOf t» false; a IsCallingOf TCONreq(al, a2, x, q, d)-*a eq al; a IsCallingOf TCONind(al, a2, x, q, d)*^a eq al; a IsCallingOf TUDTreq(aI, a2, clq. d)—a eq al; a IsCallingOf TL‘DTind(al, a2, clq, d)-»a eq al; nol(IsTCONl (t)) —> a IsCallingOf t —false; a IsRespondingOf TCONresp(al, x, q, d)-«a eq al; a IsRespondingOf TCONconf(al, x, q. d)=a eq al; not(lsTCON2(l))) => a IsRespondingOf t = false; x IsTEXOptionOf TCONreq(al. a2. xl. q. d)-x eq xl x IsTEXOptionOf TCONind(aI. a2. xl, q, d)=*x eq xl x IsTEXOptionOf TCONresp(a, xl. q. d)=x fiq xl x IsTEXOptionOf TCONconf(a. xl. q. d)=x eq xl not(IsTCON(t)) => x IsTEXOptionOf t = false; q IsTQOSOf TCONreq(al. a2. x. ql. d)=q eq ql q IsTQOSOf TCONind(aI, a2, x. ql. d)=q eq ql q IsTQOSOf TCONresp(a, x, ql. d) =q eq ql q IsTQOSOf TCONconf(a. x. ql. d)=q eq ql not(IsTCON(t)) -> q IsTQOSOf t-false; И ГОСТ Р ИСО МЭК ТО 10023—м г IsRcasonOf TDISind(гI. d) =г eq ri: not(lsTDISind(t)) => r IsReasonOf t = false: clq IsClQOSOf TUDTreq(al. a2. clqJ. d)=clq eq clql clq IsClQOSOf TUDTind(al, a2, clql, d)=clq eq clql ofsort OctetString UserData (TCONreq (a I. a2, x, q. d)) — d; UserData (TCONind(al. a2. x. q, d))«=d; UserData (TCONresp (a. x. q, d))=d; UserData (TCONconf (a. x, q. d))=d; UserData (TDTreq(d)) = d; UserData (TDTind (d)) =d UserData (TEXreq (d)) = d: UserData (TEXind (d)) =d; UserData(TDlSreq(d))-d UserData (TDISind (r. d))-*d; UserData(TUDTreq(a 1, a2, clq, d))-d; UserData(TUDTind(al. a2, clq. d))-d; endtype (* TSPParameterSelectors k) (\…………………………………… 8.4.3.3 Равенство сервисных примитивов транспортного уровня Булево равенство на TSP определяется как конъюнкция равенства имени TSP (см. 8.4.2.1) и попарного равенства параметров TSP. Кроме того, для примитивов данных требуется равенство ограничителя (см. 8.4.2.2). type TSPEquality is TSPParameterSelectors opns _eq_._ne…-eqTernu: TSP. TSP —> Bool eqns fora II a, al. a2, a3 : TAddress, x. xl : TEXOption, q, ql : TQOS. d, dl : OctetString. r, rl : TDISReason, t, tl : TSP. clq, clql : C1QOS ofsort Bool Subsort (t) nc Subsort (tl) => t eq tl «false; TCONreq (a, a2. x, q. d) eq TCONreq(al, a3, xl. ql. dl) = (a eq al) and (a2 fcq a3) and (x eq xl) and (q eq ql) and (d eq dl); TCONind(a, a2, x, q, d) eq TCONind(al, a3. xl. ql. dl)- ГОСТ Р ИСО’МЭК то 10023—93 (a cq а 1) and (а2 eq аЗ) and (х eq xl) and (q cq ql) and (d eq dl); TCONresp(a. x, q, d) eq TCON’resp(al, xl,ql. dl) = (a eq al) and (x eq xl) and (q eq ql) and (d eq dl); TCONconffa, x, q, d) eq TCONconf(al. xl, ql. dl) => (a eq al) and (x eq xl) and (q eq ql) and (d teq dl); TDISindfr, d) eq TDfSind (rl, dl) =* (r eq rl) and (d eq dl); TUDTreq(a, a2. clq, d) eq TUDTreq(al, a3. clql, dl)** (a eq al) and (a2 eq a3) and (clq eq clql) and (d eq dl); TUDTind(a, a2. clq. d) eq TUDTind(al. a3, clql. dl)=* (a eq al) and (a2 cq a3) and (clq eq clql) and (d eo dl): not (IsTCON (t) or IsTDlS(t)) = > t eq tl = (Subsort (t) eq Subsort (t I)) and (IJsCrData(t) cq UserData(tl)) and (IsTDT(t) implies (t eqTerm tl); t ne tl «• not(t eq tl); t eqTerm tl = TEOTrequest Terminates t iff (TEOTrequest Tepminates tl) and (TEOTindication terminates t iff (TEOTindication Terminates tl)); fcndtype (* TSPEquality *) 8 4 3.4 Прочие функции сервисных примитивом транспортного уровня Функция ProviderGeneratedlnd характеризует TSP, генерируемые исключительно поставщиком услуг. Эта функция используется для описания возможного недетерминизма поставщика услуг (см. 12.3.3). Функция IslndicationOf связывает выполнение TSP в каждом оконечном пункте- транспортного соединения с предварительным выполнением соответствующего примитива в другом пункте того же самого транспортного соединения (см. 12.3.3). Эта функция также представляет требования по согласованию в отношении возможного недетерминизма поставщика услуг (см. раздел 10 и 14.2 ИСО 8072). type TransportSfcrvicePrimitive is TSPEquality opns ProviderGeneratedlnd : TSP —> Bool — IslndicationOf—IsValidTCON2For_ • TSP. TSP -> Bool 13 ГОСТ Р НСО/М ЭК ТО 10023-9» eqns forall t, tl : TSP, a, al, a2, аЗ : TAddress, xf xl : TEXOptlon, q, ql : TQOS. d. dl : OctetString, tlq, clql : C1QOS ofsort Bool PrividerGencratcdlnd (I) -=• IsTDISind(i) and (Provider IsReasonOf(t) and (UserData(t) cq <>): TCONconf(al, xl. ql, d!) IsValidTCON2For TCONreq(a, a2, x, q, d) —(al cq a) and (ql eq q) and ((xl eq UseTfcx) implies (x eq UseTEX)): TCONresp(al, xl. ql, dl) IsValidTCON2For TCONind(a. a2. x. q. d) = (al eq a) and {ql eq q) and ((xl cq UscTex) implies (x cq UseTEX)): not((lsTCO.Nconf (tl) and IsTCONreq(t)) or ((IsTCON-resp(tl) and IsTCONind (t))) = > II lsValidTCON2For t-false; TCONind(al. a3. xl. ql. dl) IsIndicationOf TCONreq(a. a2. x. q. d) »(al tq a) and (a3 eq a2) and (xl eq x) and (ql It q) and (dl eq d); TCONconf(al, xl, ql, dl) IsIndicationOfTCONresp(a, x. q. d) = (al eq a) ?nd (xl eq x) and (ql eq q ) and (dl eq d); IsTCON (I), not(lsTReq(t)) ~>tl IsIndicationOf t — false; IsTCON(t). IsTReq(t), h (Subsort (tl)) ne Succ(h(Subsort (t))) =>tl IsIndicationOf t = false; TUDTind(al. a3. clql, dl) IsIndicationOf TUDTreq(a. a2. clq, d)-=(al fcq a) and (a3 eq a2) and (clql le clq) and (dl eq d): not (IsTCON(t) or IsTUDT(t)) = > tl IsIndicationOf t* IsTReq(t) and IsTInd(tl) and (h(Subsort(tl)) eq Succ(h(Subsort(t)))) and ((TEOTindication Terminates tl) iff (TEOTrcqucst Terminates t)) and (UserData(tl) eq UscrData(t)); endtype (* TransportServicePrlmitive •) S.S Качество услуг (КУ) 8.5.1 Общее описание Структура параметра КУ подразделяется в соответствии с определением, приведенным в разделе 10 ГОСТ 34 960 Первая декомпозиция выделяет параметры КУ: производительность ТС, приоритет ТС и зашита ТС. Эти структуры определяют’ 14 ГОСТ Р ИСО/МЭК ТО 10023- 93 ся и 8.5.2—8.5.4 соответственно п ссылаются на вспомогательные определения КУ. приведенные в 8.5.5 Как конструкция TQOS, так н конструкция TCPerformance. а также их подструктуры в основном состоят из декартова произведения. образованного функциями проекции, каждая из которых дает один множитель значения произведения и булевых функций, специфицирующих равенств» и частичное упорядочение КУ, как определено в разделе 10 ГОСТ 34 960 В 8 5.2 в виде пояснения представлены видовые произведения, относящиеся к производительности ТС. При меча it я* 1 Порядок, в которой представлены определения КУ, отличается от порядка. представленного в разделе 10 ГОСТ 34 960. что обеспечивает групп и ропак ко (в формальном xwitcxctc) сходных определений, что облегчает чтение. 2 Представление значений TQOS формально полное только для той области. которая оказывается необходимой, чтобы обеспечить абстрактную спецификацию таких значений, как параметры TSP, и соответствующих требований по согласованию КУ (см. четвертый абзац раздела 10 ГОСТ 34.960) Дополнительные функции, позволяющие оценивать КУ при тестирование, и примеры измерений не определены. Оценка каким-либо образом КУ не связана с динамическими требованиями, представленными настоящим формализованным описанием, так как семантика LOTOS абстрагируется от количественных аспектов, таких как время и вероятности. 3 В настоящем описании не указано, является ли значение КУ абсолютным требованием пользователя или приемлемо также пониженное значение. Структура параметров КУ режима-без-установления-соедине-ния представлена в виде декартова произведения параметров TCTransitDelay, TCProtection. N’CProbabilily и TCPriority. type TSQuality is POThreeTuple actualizedhy TCPerformance, TCPriority, TCProtection using sortnames TQOS for ThreeTuplc TCPerformance for Element TCPriority for Element2 TCProtection for Element.! Bool for FBool opnnames TQOSPerformance for First TQOSPriority for Second TQOSProtection for Third TQOS for Tuple fen (I type (* TSQuality *) 15 ГОСТ Р ИСО/МЭК ТО 10023—93 type TSClQualiiy is POFourTuple aclualizcdby CLTransitDelay, TCProtection. Probability. TCPriority using sort names Boo! for FBool CLQOS for FourTuple CLTransDelay for Element TCProtection for Elcmen(2 Prob for Element3 TCPriority for Element4 opnnamcs CLQOSTransDclay for First CLQOSProtection for Second CLQOSProbabiiity for Third CLQOSPrioritv for Fourth CLQOS for Tuple endtvpe (* TSClQualitv •) Г____________________ 8.5.2 Параметры производительности 8.5.2.1 Общее описание Параметры производительности, составляющие компонент параметров КУ. имеют следующую структуру четверки: TCPerformancfe- DelaysX FailuresX Throughput XRER. что представлено в данном ниже определении. Определения компонентов даны в 8.5 2.2—85.2.5. Примечание — Вспомогательные определения КУ (см. 85.5) полезны для понимания определений параметра производительности, содержащегося в 8 5 2 2—8.5 2/> При первом чтении настоящего стандарта рекомендуется сначала ознакомиться с 8.5.5. type TCPerformance is BasicTCPorformance opns -It…..le_, ,gt_. -ge — : TCPerformance, TCPerformance —> Bool eqns forall d. dl : Delays, f. fl : failures,’ t, tl : Throughput, r, rl : TPRER, pf. pfl : TCPerformance ofsort Bool Performance (d, f. t, r) le Performance (dl, f I. tl, rl)* (d ge dl) and (f ge f!) and (t le tl) and (r ge rl); ГОСТ Р ИСО.’МЭК то 10023-93 pf It pfl = (pf le pf 1) and not(pfl le pf); pf eq pfl = (pf lie pfl) and (pfI le pf); pf ne pf I = not (pf eq pfl); pf ge pfl «=pfl le pf; pf gt pf I = endtype (* TCPerformance *) type BasicTCPerfonnance is FourTuple actualizedby TCDelays, TCThroughput. TCResidualHrrorRate, TCFailureProbabililies using sortnarnes TCPerformance for FourTuple Delays for Element Failures for Element2 Throughput for Element3 TPRER for Element4 Bool for FBool opnnames Performence for Tuple Delays for First Throughput for Second RER for Third Failures for Fourth pndtypc (■* BasicTCPerfonnance *) Г___________________________________ 85.2.2 Параметры задержки Параметры задержки имеют следующую структуру тройки: Delays»*EstDelayxTransDelayXRelDelay, где: EstDelay=Nat TransDelay = Nat* RelDelay=Nat* EstDelay — вид параметра задержки установления ТС, который имеет линейную структуру (таким образом определена единственная взаимно однозначная проекция). TransDeliy — вид параметра транзитной задержки, который имеет структуру четверки. Каждая проекция представляет транзитную задержку для отдельного направления передачи и скорости (а именно «максимальная» и «средняя», см. 10.3 ГОСТ 34.960). Это определение представлено как переименование вспомогательного определения, приведенного в 8.5.5. RelDelay — вид параметра задержки освобождения, который имеет структуру двойки. Каждая проекция представляет задержку освобождения ТС для отдельного пользователя ТС (которому 4 3»к. 363 17 ГОСТ Р ЙСО/МЭК ТО 10028—«3 сигнализируется об успешном освобождении, см. 10.7 ГОСТ 34.960). Форма этого определения —экземпляр общего определения (приведенного в 8.5.5), полученный использованием в качестве актуального типа параметра NatRepresentations, который определен и библиотеке типов данных LOTOS. type ТС Del ays is POThreeTuple actualizedby TCEstablishrnentDelay, TransitDelay, TCReleaseDelay using sortnaines Delays for ThreeTuple EstDeiay for Element TransDelay for Element2 -RelDelay for Elemcnt3 Bool for FBool opnnames TCEstablishment for First Transit for Second TCReleasc for Third Delay for Tuple endtype (* TCDelays *) type TCEstablishrnentDelay is NatRepresentations sorts EstDeiay opns EstDeiay : Nat —>EstDeiay Time : EstDeiay —> Nat -eq_, -ПС-, _le_, -It-, -ge_, _gt_ : EstDeiay, EstDeiay —> Bool eqns forall n, nl : Nat, e. fel : EstDeiay ofsort Nat Time (EstDeiay (n)) » n; ofsort Bool EstDelay(n) le EstDelay(nl) »n le nl; e It el = (e le el) and not (el le e); e eq el = (e le el) and (fcl le e); e ne el = not(e eq el); e ge el =el le e; e gt el«(e ge el) and not (el ge e); ГОСТ Р ИСО/МЭК ТО 10023—93 endtype (4 TCEstablishmeutDelay *) type TransitDelay is DTRateDirecilonQOSPararneter renamed by sortnames TransDelay for DQOSP opnnarnes TransDelay Tor RDQOSP endtype (* TransitDfelay *) type TCRcleaseDelay is PODoubleParameter actualizedby NatRepresentations using sortnames Nat for Element Nat for Element2 RelDclay for Pair Bool for FBool opnnam.es AtCalling for First AtCalled for Second Re I Del ay for Pair endtype (* TCReleaseDelay *) type CLTransitDelay is NaturalNumber renamedby sortnames CLTransDelay for Nat ^endtype (“CLTransitDelay •) 8.5.2.3 Пропускная способность Параметры пропускной способности имеют следующую структуру четверки: Throughput = Nat4 ——————————……} type TCThroughput Is DTRateDirectionQOSParameter renamedby sortnames Throughput for RDQOSP opnnarnes Throughput for RDQOSP endtype (* TCThrouhput +) 19 ГОСТ Р И СО/М ЭК ТО 10023-9* 8.5.2 4 Вероятность отказа Параметры вероятности отказа имеют следующую структуру четверки: Failures — Prob* type TCFaiJureProbabilities is POFourTuple actualized by Probability using sorlnanies Prob for Element Prob for Element2 Prob for Element3 Prob for Element4 Bool for FBool Failure for FourTuple opnnames TCEstablishment for First Transfer for Second TCResilience for Third TCRelease for Fourth Failures for Tuple endtype (* TCFailureProbabilites •) 8.5.2.5 Коэффициент необнаруженных ошибок Параметры коэффициента необнаруженных ошибок (КНО) имеют следующую структуру двойки: КНО = Prob* Каждая проекция представляет КНО для отдельного направления передачи. Форма этого определения аналогична той. которая использована для задержки освобождения ТС (см. 8.5.2.2), но с другим типом актуального параметра, а именно Probability (см. 8.5.5). На самом деле. КНО определен в ГОСТ 34.960 как отношение измеренных значений, а не как вероятность. Однако это не имеет значения для образования типа, поскольку значения КНО (любая из двух проекций) и операции на КНО совпадают со значениями и операциями вероятности соответственно. type TCResiduaJErrorRate is POPair actualizedby NaturalNurnber using sortnames TPRER for Pair Nat for Element Nat for Element2 20 ГОСТ Р ИСО’МЭК ТО 10023-93 Bool for FBool opnnames RER for Pair Target for First Minimum for Second endtype (* TCResidualErrorRate *) 8.5.3 Приоритет TC При помощи переименования натуральных чисел уровни приоритета представлены как полностью упорядоченное множество. В ГОСТ 34.960 указано, что число уровней приоритета ограничено. Это также применимо к реализации типа данных NaturalNumber. type TCPriority is NaturalNumber renamedby sortnames TCPriority for Nat opnnames Lowest for 0 Higher for Succ endtype (• TCPriority 4 С_______________________ 8.5.4 Защита TC Упорядоченное множество из четырех констант представляет варианты зашиты, определенные в 10.9 ГОСТ 34.960. щ) type TCProtection is OrderedFourTuplet renamedby sortnames TCProtection for Tuplet opnnames NoProtection for TheOne Monitoring for TheOther Manipulation for TheThird FullProtection for ThfcFourth endtype (* TCProtection *) <*__________________________ 8.5.5 Вспомогательные определения КУ В типе Probability вид Prob задает интервал действительных чи* ГОСТ Р ИСО «ЭК ТО 10023—93 сел [0, 11 вместе с элементом Undefined, который представляет отношения. не входящие в этот интервал. DTRa(eDirectionQOSParameter поддерживает определение па раметра КУ в виде натурального числа, который имеет четыре компонента (или проекции), каждый из которых индексируется скоростью передачи данных и направлением передачи. Виды DTRatc и DTDireeiion обеспечивают эти индексы Компоненты генерируются функцией Proj. Конструкция этого типа представлена снизу вверх, используя определения типов DTDirectionQOSPar и DTDireclionQOSParameter для построения структуры четверки ид двух двоек. Общее определение параметра PODoubleParameter см. в 8.7. Примечание — Определение в 8.7 необходимо для понимания приведенных ниже определений. При первом чтении рекомендуется сначала прочесть 8.7. type Probability is Natural Number …….. …..r sorts Prob opns -I- : Nat. Nat — > Prob Undefined : >-> Prob -eq___ne_,..le , -It …ge-^gt. : Prob, Prob —> Bool eqns foral! ni, n, j, k : Nat, p. q : Prob ofsori Prob m gt n or (n eq 0) => m/n = Undefined; — m le n, n ne 0, j ne 0 =*> (m * j) / (n * j) =m/n; ofsort Bool m le n. j Ic k, n ne 0, k no 0 = >m/n le (j / k) = (m * k) lc (J * n); m le n, nncO=> Undefined le (m/n)= false; p le Undefined = true: p It q= (p le q) and notfq le p); p eq q= {p le q) and (q le p); p ne q = not (p eq q); p f?e q —q le p; p q- (p ge q) and not (q ge p); endtype (• Probability •} ГОСТ Р ИСО/МЭК ТО 10023-93 type DTDirfcctionQOSPar is POPair actualized^ NaluralNumbcr using sortnames Mat for Element Nat for Element2 DQOSP for Pair Bool for FBool opnnames FromCalling for First FromCallcd for Second DQP for Pair endtype (* DTDirectionQOSPar •) type DTRateDirectionQOSParameter is POPair aetualizedby DTDirectionQOSPar using sortnamfes Nat for Element Nat for Element2 DQOSP for Pair Bool for FBool opnnames FromCalling for First FromCalled for Second DQP for Pair endtype (• DTDirectionQOSPar *) type DTRateDirectionQOSParameter is POPair aetualizedby DTDirectionQOSPar using sortnames DQOSP for Element DQOSP for Element2 Bool for FBool RDQOSP for Pair opnnames Max for First Ave for Second RDQOSP for Pair endtype (* DTRateDirectionQOSParameter *) (*_______________________ 8.6 Параметры сервисных примитивов транспортного уровня Вариант срочных данных и параметры причины разъединении в TSP определяются типами TEXOption и TDISReason соответственно. Структура параметра КУ определена в 8.5 посредством ГОСТ Р ИСО/МЭК ТО 10023- 93 T
