ГОСТ Р ИСО/МЭК 8824-3-2002

  Категория » Автоматизация производства » Нормативная документация   


ГОСТ Р ИСО/МЭК 8824-3-2002 Информационная технология. Абстрактная синтаксическая нотация версии один.

1. Область применения

Настоящий стандарт является частью абстрактной синтаксической нотации версии 1 (АСН.1) и устанавливает нотацию для спецификации ограничений, определенных пользователем, и табличных ограничений.

2. Нормативные ссылки

В настоящем стандарте использованы ссылки на следующие стандарты:
ГОСТ Р ИСО/МЭК 8824-1-2001. Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации.
ГОСТ Р ИСО/МЭК 8824-2-2001. Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 2. Спецификация информационного объекта.
ИСО/МЭК 8824-4-98. Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 4. Параметризация спецификации АСН.1

3. Определения

В настоящем стандарте применены следующие термины:
3.1 Спецификация базовой нотации
В настоящем стандарте используют термины, определенные в ГОСТ Р ИСО/МЭК 8824-1.
3.2 Спецификация информационного объекта
В настоящем стандарте используют термины, определенные в ГОСТ Р ИСО/МЭК 8824-2.
3.3 Параметризация спецификации АСН.1
В настоящем стандарте используют термин, определенный в ИСО/МЭК 8824-4: параметризованный тип.
3.4 Дополнительные определения
3.4.1 ограничение связи компонента: ограничение на значения типа "множество" или "последовательность", которое текстуально связано с одним из типов компонентов (указывающий компонент) "множество" или "последовательность" и определяет отношение между значением этого компонента и значениями одного или нескольких других компонентов (указываемые компоненты).
3.4.2 ограниченный тип: самый внутренний тип "Type", который содержит указывающий компонент и все указываемые компоненты некоторого ограничения связи компонента.3.4.3 ограничивающее множество: множество информационных объектов, указанное в некотором ограничении связи компонента.
3.4.4 ограничивающая таблица: ассоциированная таблица (см. ГОСТ Р ИСО/МЭК 8824-2, раздел 13), соответствующая ограничивающему множеству.
3.4.5 указываемый компонент: компонент типа "множество" или "последовательность", идентифицированный в ограничении связи компонента.
3.4.6 указывающий компонент: компонент типа "множество" или "последовательность", который имеет соответствующее ограничение связи компонента.
3.4.7 выборочные строки: строки ограничивающей таблицы, которые содержат в соответствующих столбцах значения всех указываемых компонентов.
3.4.8 табличное ограничение: ограничение, применяемое к типу "поле класса объектов", которое требует, чтобы значения типа удовлетворяли содержимому соответствующих столбцов некоторой таблицы.
3.4.9 ограничение, определенное пользователем: ограничение, которое требует более сложного утверждения по сравнению с ограничениями других видов и которое, следовательно, должно включать в себя спецификацию какого-либо рода вне АСН.1.

ГОСТ Р ИСО/МЭК 8824-3-2002

4. Сокращения

В настоящем стандарте применено следующее сокращение:
АСН.1 - абстрактная синтаксическая нотация версии 1.

5. Соглашения

В настоящем стандарте используют соглашения, приведенные в ГОСТ Р ИСО/МЭК 8824-1, раздел 5.

6. Нотация

В данном разделе приводится сводка нотации, определенной в настоящем стандарте.
6.1 Ограничение
В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для спецификации ограничения "ConstraintSpec" (см. ГОСТ Р ИСО/МЭК 8824-1, пункт 44.5): GeneralConstraint (см. 8.1). Выполнять проектные работы могут только организации члены СРО. Для того, чтобы стать действующим членом СРО Проектировщиков, тем более, что размеры взносов в сро в настоящее время небольшие, следует подать заявку на вступление в саморегулирующие организации проектировщиков, осуществляющие проектную деятельность.

7. Элементы АСН.1

Дополнительно к элементам АСН.1, определенным в ГОСТ Р ИСО/МЭК 8824-1, раздел 11, в настоящем стандарте используют элементы АСН.1, определенные в последующих подразделах. Общие правила, применимые к этим элементам, определены в ГОСТ Р ИСО/МЭК 8824-1, пункт 11.1. Эти новые элементы АСН.1 используют набор символов, определенный в ГОСТ Р ИСО/МЭК 8824-1, раздел 10.
7.1 Дополнительные ключевые слова
Имена CONSTRAINED и BY указаны в ГОСТ Р ИСО/МЭК 8824-1, пункт 9.12 как зарезервированные слова.

8. Спецификация общих ограничений

8.1 Нотация для общего ограничения "GeneralConstraint" следующая:
GeneralConstraint : : =
UserDefinedConstraint |
TableConstraint
8.2 Различные возможности спецификации ограничения определены следующим образом:
а). "UserDefinedConstraint" - в разделе 9;
б). "TableConstraint" - в разделе 10.

9. Ограничения, определенные пользователем

9.1 Ограничение, определенное пользователем "UserDefinedConstraint", специфицируется синтаксисом:
UserDefinedConstraint : : =
CONSTRAINED BY " { " UserDefinedConstraintParameter "," * " } "

Примечания:
1. Эта форма спецификации ограничения может рассматриваться как специальная форма комментария АСН.1, так как она не является полностью машинообрабатываемой. Однако автоматические средства могли бы использовать наличие конкретного определенного пользователем ограничения для вызова проверки ограничения приложением пользователя.
2. Разработчики протоколов должны понимать, что, так как определение ограничения подобным образом не является полностью машинообрабатываемым, спецификация, которая использует эту возможность, может быть менее удобной для автоматической обработки.


9.2 Рекомендуется, чтобы фактическое ограничение описывалось где-либо в комментарии в фигурных скобках (" { " и " } "). Этот комментарий должен ясно устанавливать, какое ограничение накладывает "UserDefined Constraint".

Примечание - если в фигурных скобках имеется несколько "UserDefinedConstraintParameter" (см. 9.3), то комментарии могут стоять перед, после или между ними, как удобнее разработчику.

9.3 Фактическое ограничение, которое должно применяться, может зависеть от некоторых параметров. Для каждого такого параметра в ограничение "UserDefinedConstraint" должна быть включена продукция "UserDefinedConstraintParameter":
UserDefinedConstraintParameter : : =
Governor ":" ActualParameter | ActualParameter
Нотации для "Governor" и "ActualParameter" определены в ИСО/МЭК 8824-4, пункты 8.3 и 9.5 соответственно. Когда фактический параметр "ActualParameter" есть тип "Type" или класс объекта "ObjectClass", то не должно быть продукции "Governor"; когда фактический параметр "ActualParameter" есть значение "Value" или множество значений "ValueSet", то продукция "Governor" должна присутствовать и быть типом "Type"; когда фактический параметр "ActualParameter" есть объект "Object" или множество объектов "ObjectSet", то продукция "Governor" должна присутствовать и быть "DefinedObjectClass".
9.4 Если разработчик приложения хочет специфицировать, что некоторые компоненты должны быть битовыми строками, представляющими зашифрованные значения некоторого типа АСН.1 (различные для каждого компонента), то (используя параметризацию ИСО/МЭК 8824-4) параметризованный тип ENCRYPTED может быть определен следующим образом:
ENCRYPTED {ToBeEnciphered} : : = BIT STRING
(CONSTRAINED BY
{- - должен быть результат шифрования некоторого BER-кодированного значения - -
ToBeEnciphered}
! Error : : = securityViolation)
Error : : = ENUMERATED {securityViolation}
и использование параметризованного подтипа ENCRYPTED строки BIT STRING (чем, собственно, и является тип ENCRYPTED) выглядит как:
ENCRYPTED {SecurityParameters}
или, эквивалентно, по желанию разработчика:
BIT STRING (ENCRYPTED {SecurityParameters})
Появление ошибки sequirityViolation обрабатывается в соответствии с местной политикой защиты.

ГОСТ Р ИСО/МЭК 8824-3-2002

10. Табличные ограничения, включая ограничения связи компонента

10.1 Табличное ограничение может быть применено только к типу "ObjectClassFieldType" или "InstanceOfType". Первый случай определяется в последующих частях данного раздела, второй - в приложении А.
10.2 Тип "ObjectClassFieldType" идентифицирует класс информационных объектов и одно из допустимых имен полей "FieldName" этого класса. Табличное ограничение идентифицирует множество информационных объектов, ассоциированная таблица которых определяет множество ограниченных значений, как установлено в ГОСТ Р ИСО/МЭК 8824-2, раздел 13.

Примечания:
1. Классы информационных объектов, информационные объекты, множества информационных объектов и тип "поле класса объекта" определены в ГОСТ Р ИСО/МЭК 8824-2. Понимание этих концепций подразумевается в данном разделе.
2. В данном разделе описано применение табличного ограничения, использующего множество информационных объектов, которое идентифицировано в главной нотации, определяющей порождающий тип; другими словами, определено и идентифицировано разработчиком протокола. Оно не удовлетворяет требованиям для фактического множества информационных объектов, которое должно быть использовано как ограничение в конкретном абстрактном синтаксисе, так как может изменяться от синтаксиса к синтаксису. ИСО/МЭК 8824-4 обеспечивает нотацию, которая, кроме всего прочего, позволяет множеству информационных объектов, используемому в этом ограничении, быть параметром, значение которого подставляется позже различными группами пользователей.


10.3 Нотацией для табличного ограничения "TableConstraint" является
TableConstraint : : =
SimpleTableConstraint |
ComponentRelationConstraint
SimpleTabIeConstraint : : = ObjectSet
10.4 Множество объектов "ObjectSet" в ограничении "SimpleTableConstraint" управляется классом, который появляется в ограничиваемом типе "ObjectClassFieldType".
10.5 Семантика "SimpleTableConstraint" специфицируется с использованием ассоциированной таблицы ограничивающего множества информационных объектов.

Пример:
Для иллюстрации текста настоящего раздела использован следующий пример. Тип ErrorReturn представляет категорию ошибки errorCategory и один или несколько кодов ошибок errorCodes с соответствующей информацией errorInfo для этой категории. Это представление обеспечивается классом информационных объектов ERROR-CLASS со специфическим множеством объектов, определенных в множестве информационных объектов ErrorSet, которое используется для ограничения полей ErrorReturn.

10.6 Имя поля "FieldName" типа, который будет ограничен, используется для выбора применяемого столбца ассоциированной таблицы, и при этом применяются следующие правила:
а). для поля типа компонент ограничен тем, что должен быть любым значением одного из типов в любой строке этого столбца;
б). для поля значения компонент ограничен тем, что должен быть одним из значений в любой строке этого столбца;
в). для поля множество значений компонент ограничен тем, что должен быть одним из множества значений в любой из строк этого столбца.

Примечание - если для некоторого данного множества объектов сформулированные выше алгоритмы приводят к недопустимому значению, то ограничение всегда нарушается, если этот компонент присутствует в значении содержащего типа.

Пример:
В примере раздела 10 перечисление б) применяется к компоненту errorCategory:
errorCategory ERROR-CLASS.&category ({ErrorSet}) OPTIONAL, с ассоциированной таблицей ErrorSet, ограничивающей его возможные значения до "А" и "В".

10.7 Ограничение связи компонента применяется с использованием ассоциированной таблицы множества информационных объектов и следующей продукции:
10.8 Каждый "identifier" в списке "ComponentIdList" идентифицирует компонент, порождающим которого является тип "множество", "последовательность" или выборочный тип, и он должен быть последним идентификатором "identifier", если компонент, им определяемый, не является типом "множество", "последовательность" или выборочным типом.
10.9 В случае, когда порождающий тип является типом "множество" или "последовательность", "identifier" должен быть одним из идентификаторов "identifier" типа "NamedType" в списке типов компонентов "ComponentTypeList" этого порождающего. В случае, когда порождающий тип является выборочным типом, "identifier" должен быть одним из идентификаторов "identifier" альтернативы "NamedType" в списке типов альтернатив "AlternativeTypeList" этого выборочного типа.
10.10 Продукция "AtNotation" предоставляет указатель на другие компоненты структуры АСН.1, в которой она появляется. Порождающая структура для первого идентификатора "identifier" в списке "ComponentIdList" определяется следующим образом:
а). если выбрана первая альтернатива "AtNotation" (нет точки после "@"), то порождающая структура является самой внешней, текстуально содержащей тип "множество", "последовательность" или выборочный тип;
б). если выбрана вторая альтернатива "AtNotation" (есть точка после "@"), то порождающая структура является самой внутренней, текстуально содержащей тип "множество" или "последовательность".

Примечание - альтернатива "AtNotation" допустима только тогда, когда она текстуально находится внутри типа "множество" или "последовательность" и указывает на некоторое другое поле, которое текстуально находится в том же самом типе "множество" или "последовательность", хотя, возможно, на другом уровне вложенности.

Пример:
В примере раздела 10 первая продукция "AtNotation" в компоненте errorlnfo ("@errorCategory") иллюстрирует случай а), тогда как вторая ("@.errorCategory") - случай б).

10.11 Компонент, в котором используется эта нотация, является указывающим компонентом, а компоненты, идентифицированные "AtNotation", являются указываемыми компонентами.
10.12 Множество объектов "ObjectSet" (см. 10.3) или "DefinedObjectSet" (см. 10.7) является ограничивающим множеством, а ассоциированная таблица, полученная из него (как определено в ГОСТ Р ИСО/МЭК 8824-2, раздел 13), является ограничивающей таблицей.
10.13 Ограничение связи компонента может быть применено только к типу АСН.1, которое текстуально содержится в типе "Type" (ограниченный тип), содержащем текстуально все указываемые компоненты. Ограниченный тип, по определению, должен быть самым внутренним "Type", который удовлетворяет приведенному выше условию.

ГОСТ Р ИСО/МЭК 8824-3-2002

Пример:
В примере раздела 10 ограниченный тип есть ErrorReturn.

Примечание - в некоторых отношениях можно рассматривать применение этого ограничения как использование значений указываемых компонентов для идентификации строки в ограничивающей таблице, а затем - использование значения соответствующего столбца для ограничения указывающего компонента. С этой точки зрения сами указываемые компоненты не могут рассматриваться как ограниченные.

Однако описанный ниже подход несколько иной. В нем ограничение рассматривается как действие над всеми возможными значениями ограниченного типа (которые, как объяснено выше, не являются значениями указывающего компонента) и выбор некоторых из этих значений в качестве удовлетворяющих ограничению. Этот подход позволяет рассматривать значения ограниченного типа, которые не содержат значения ни указывающего компонента, ни одного или нескольких указываемых компонентов (так как они являются факультативными или находятся внутри выборочных), и значения ограниченного типа, в которых один из указываемых компонентов имеет значение, не соответствующее ни одной строке в ограничивающей таблице.
10.14 Указывающий и все указываемые компоненты должны быть типов "ObjectClassFieldType", относящимися к одному и тому же классу. Множество ограничений должно быть множеством информационных объектов этого класса. Указываемые компоненты должны быть полями значения или полями множества значений, ограниченные тем же самым множеством объектов, что и указывающий компонент.

Пример:
В примере раздела 10 тип "ObjectClassFieldType" - это весь класс ERROR-CLASS, так как он является ограничивающим множеством, которое есть множество ErrorSet.

10.15 В следующих разделах определяется множество значений ограниченного типа, которое удовлетворяет этому ограничению.
10.16 Если указывающий компонент отсутствует в значении ограниченного типа, то значение всегда удовлетворяет ограничению.

Пример:
В примере раздела 10, если отсутствует компонент "errors", то ограничения на ошибки удовлетворяются.

10.17 Если любой указываемый компонент отсутствует в значении ограниченного типа, то значение удовлетворяет ограничению только в том случае, если указывающий компонент также отсутствует, и в этом случае ограничение всегда удовлетворяется.
10.18 Если указывающий и все указываемые компоненты присутствуют, то ограничение удовлетворяется только в том случае, если в ограничивающей таблице существует одна или несколько выборочных строк, таких, что для каждой выборочной строки:
а). каждый указываемый компонент, который является полем значения, имеет значение, являющееся таковым для соответствующего столбца выборочной строки;
б). каждый указываемый компонент, который является полем множества значений, имеет значение, которое является одним из таковых в множестве значений соответствующего столбца выборочной строки.
10.19 Ограничение удовлетворяется тогда и только тогда, когда указывающий компонент удовлетворяет простому табличному ограничению (как определено выше), полученному применением таблицы, содержащей только выборочные строки для указывающего компонента.

Пример:
В примере раздела 10 компоненты errorCategory, errorCode и errorlnfo должны соответствовать одной из строк ассоциированной таблицы ErrorSet.

10.20 Если тип "ObjectClassFieldType" ограничивается посредством одного или нескольких ограничений "TableConstraint", а имя "FieldName" обозначает поле типа, поле значения переменного-типа или поле множества значений переменного-типа, то в каждом отдельном случае передачи номер выборочной строки должен быть в точности одним, если один из указываемых компонентов является полем идентификатора, в противном случае должен быть выбран по крайней мере один номер.

Пример:
В примере раздела 10, если бы имелся дополнительный объект {"В" 2 PrintableString}, могла быть более чем одна выборочная строка.

8824-3-2002.pdf [180.61 Kb]



Вы можете сохранить эту статью:

ГОСТ Р ИСО/МЭК 8824-3-2002

из категории » Нормативная документация »  в сервисах:



Просто нажмите на кнопку нужного Вам сервиса и данная статья будет сохранена.

Дополнительная информация по теме:

ГОСТ Р ИСО/МЭК 10746-3-2001 ГОСТ Р ИСО/МЭК 10746-3-2001

ГОСТ Р ИСО/МЭК 10746-3-2001 Управление данными и открытая распределенная обработка. Настоящий стандарт содержит полный аутентичный текст международного стандарта ИСО/МЭК 10746-3-96 "Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Ч ...

ГОСТ 19.202-78 ГОСТ 19.202-78

Настоящий стандарт устанавливает форму и порядок составления программного документа “Спецификация“. Спецификация является основным программным документом для компонентов, применяемых самостоятельно, и для комплексов“.Структура и оформление документа устанавливаются в соответствии с ГОСТ 19.105-78. И ...

Шина EIB Шина EIB

Система ABB i-bus® EIB - один кабель вместо множества в вашем доме. Начнем с того, что в вашем доме не будет бесчисленного множества проводов, необходимых для управления различными системами. Сейчас и в будущем Вам потребуется двухжильный кабель низкого напряжения (единая шина данных), прокладка кот ...

ГОСТ Р 50571.5-94 ГОСТ Р 50571.5-94

Настоящий стандарт устанавливает требования по выполнению защиты проводников от сверхтока с целью обеспечения безопасности при эксплуатации электроустановок зданий. Область применения стандарта - по ГОСТ Р 50571.1. Дополнительные требования, отражающие потребности народного хозяйства, приведены в сн ...

ГОСТ 34.321-96 ГОСТ 34.321-96

ГОСТ 34.321-96. Информационные технологии. Система стандартов по базам данных. Эталонная модель управления данными. Настоящий стандарт устанавливает эталонную модель управления данными. Эталонная модель определяет общую терминологию и понятия, относящиеся к данным информационных систем. Эталонная мо ...


Для поиска по всем категориям нашего сайта рекомендуем Вам пройти авторизацию либо зарегистрироваться.

Яндекс.Метрика Rambler's Top100 Рейтинг@Mail.ru   "СМАРТ Системы"      © 2007-2016 Все права защищены.