"ГОСТ Р ИСО/МЭК 8824-4-2016. Национальный стандарт Российской Федерации. Информационная технология. Абстрактная синтаксическая нотация версии 1 (АСН.1). Часть 4. Спецификация для параметризации АСН.1"
(утв. и введен в действие Приказом Росстандарта от 07.11.2016 N 1598-ст)

1 ПОДГОТОВЛЕН Федеральным государственным унитарным предприятием "Государственный научно-исследовательский и конструкторско-технологический институт "ТЕСТ" (ФГУП ГосНИИ "ТЕСТ"), Обществом с ограниченной ответственностью "Информационно-аналитический центр" (ООО "ИАВЦ") на основе собственного перевода на русский язык англоязычной версии международного стандарта, указанного в пункте 4

2 ВНЕСЕН Техническим комитетом по стандартизации ТК 22 "Информационные технологии"

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 7 ноября 2016 г. N 1598-ст

4 Настоящий стандарт идентичен международному стандарту ИСО/МЭК 8824-4:2008 "Информационные технологии. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 4. Спецификация для параметризации АСН.1" (ISO/IEC 8824-4:2008 "Information technology - Abstract Syntax Notation One (ASN.1) - Part 4: Parameterization of ASN.1 specifications", IDT).

При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты, сведения о которых приведены в дополнительном приложении ДА

5 ВЗАМЕН ГОСТ Р ИСО/МЭК 8824-4-2003

6 ПЕРЕИЗДАНИЕ. Ноябрь 1018 г.

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

В настоящем стандарте использованы нормативные ссылки на следующие стандарты:

ISO/IEC 8824-1:2008 <*>, Information technology - Abstract Syntax Notation One (ASN.1) - Part 1: Specification of basic notation (Информационные технологии. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации)

--------------------------------

<*> Заменен на ИСО/МЭК 8824-1:2015.

ISO/IEC 8824-2:2008 <**>, Information technology - Abstract Syntax Notation One (ASN.1) - Part 2: Information object specification (Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 2. Спецификация информационного объекта)

--------------------------------

<**> Заменен на ИСО/МЭК 8824-2:2015.

ISO/IEC 8824-3:2008 <***>, Information technology - Abstract Syntax Notation One (ASN.1) - Part 3: Constraint specification (Информационная технология. Абстрактно-синтаксическая нотация версии один (АСН.1). Часть 3. Спецификация ограничения)

--------------------------------

<***> Заменен на ИСО/МЭК 8824-3:2015.

В настоящем стандарте применены следующие термины с соответствующими определениями.

В настоящем стандарте применены термины, установленные в ИСО/МЭК 8824-1.

В настоящем стандарте применены термины, установленные в ИСО/МЭК 8824-2.

В настоящем стандарте применены термины, установленные в ИСО/МЭК 8824-3.

3.4.1 стандартное имя ссылки (normal reference name): Имя ссылки, определенное без параметров, посредством другого "Assignment" нежели "ParameterizedAssignment". Такое имя указывает полное определение и не обеспечивается фактическими параметрами при использовании.

3.4.2 параметризованное имя ссылки (parameterized reference name): Имя ссылки, определенное с помощью параметризованного присваивания, которое указывает на неполное определение и поэтому должно быть обеспечено фактическими параметрами при использовании.

3.4.3 параметризованный тип (parameterized type): Тип, определенный с помощью присваивания параметризованного типа и, таким образом, компоненты которого являются неполными определениями, которые должны быть обеспечены фактическими параметрами при использовании типа.

3.4.4 параметризованное значение (parameterized value): Значение, определенное с помощью присваивания параметризованного значения и, таким образом, не полностью специфицированное, которое должно быть обеспечено фактическими параметрами при использовании.

3.4.5 параметризованное множество значений (parameterized value set): Множество значений, определенное с помощью присваивания параметризованного множества значений и, таким образом, не полностью специфицированное, которое должно быть обеспечено фактическими параметрами при использовании.

3.4.6 параметризованный класс объектов (parameterized object class): Класс информационных объектов, определенный с помощью присваивания параметризованного класса объектов, таким образом, спецификации его полей заданы не полностью и должны быть обеспечены фактическими параметрами при использовании.

3.4.7 параметризованный объект (parameterized object): Информационный объект, определенный с помощью присваивания параметризованного объекта, таким образом, его компоненты заданы не полностью и должны быть обеспечены фактическими параметрами при использовании.

3.4.8 параметризованное множество объектов (parameterized object set): Множество информационных объектов, определенное с помощью присваивания множества параметризованных объектов, таким образом, его объекты заданы не полностью и должны быть обеспечены фактическими параметрами при использовании.

3.4.9 переменное ограничение (variable constraint): Ограничение, применяемое в спецификации параметризованного абстрактного синтаксиса и зависящее от некоторого параметра абстрактного синтаксиса.

В настоящем стандарте применено следующее сокращение:

АСН.1 - абстрактная синтаксическая нотация версии 1.

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

В данном разделе приведена сводка нотации, определенной в настоящем стандарте.

В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для присваивания "Assignment" (см. ИСО/МЭК 8824-1, раздел 12):

- ParametrizedAssignment (см. 8.1).

6.2.1 В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для определяемого типа "DefinedType" (см. ИСО/МЭК 8824-1, подраздел 13.1):

- ParametrizedType (см. 9.2).

6.2.2 В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для определяемого значения "DefinedValue" (см. ИСО/МЭК 8824-1, подраздел 13.1):

- ParametrizedValue (см. 9.2).

6.2.3 В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для определяемого типа "DefinedType" (см. ИСО/МЭК 8824-1, подраздел 13.1):

- ParametrizedValueSetType (см. 9.2).

6.2.4 В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для класса объектов "ObjectClass" (см. ИСО/МЭК 8824-2, подраздел 9.2):

- ParametrizedObjectClass (см. 9.2).

6.2.5 В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для объекта "Object" (см. ИСО/МЭК 8824-2, подраздел 11.2):

- ParametrizedObject (см. 9.2).

6.2.6 В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для множества объектов "ObjectSet" (см. ИСО/МЭК 8824-2, подраздел 12.2):

- ParametrizedObjectSet (см. 9.2).

В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для символа "Symbol" (см. ИСО/МЭК 8824-1, подраздел 12.1):

- ParametrizedReference (см. 9.1).

В настоящем стандарте используют элементы АСН.1, определенные в ИСО/МЭК 8824-1, раздел 11.

8.1 Существуют операторы параметризованного присвоения, соответствующие каждому из операторов присвоения, определенному в ИСО/МЭК 8824-1 и ИСО/МЭК 8824-2.

Конструкция "ParameterizedAssignment":

8.2 Каждая конструкция "Parameterized<X>Assignment" имеет тот же самый синтаксис, что и "<X>Assignment", за исключением того, что имеется начальный элемент "ParameterList". Таким образом, начальный элемент становится параметризованным именем ссылки (см. 3.4.2).

Примечания

1 ИСО/МЭК 8824-1 налагает требование, заключающееся в том, что все имена ссылки, назначенные в пределах модуля, параметризованные или нет, должны различаться.

2 Там, где нотация значений регулируется параметризованным типом (или типом, который является параметром) достоверность нотации значений внутри параметризованного назначения может быть определена только после инстанцирования параметризованного типа и может быть действительна для одних инстанцирований и недопустима для других.

8.3 Конструкция "ParameterList" есть список параметров "Parameter", заключенных в фигурные скобки.

Каждый параметр "Parameter" состоит из пустой ссылки "DummyReference" и, возможно, из параметра управляющего слова "ParamGovernor".

"DummyReference" в "Parameter" может замещаться:

a) "Type" или "DefinedObjectClass" в том случае, когда не должно быть "ParamGovernor";

b) "Value" или "ValueSet"; в этом случае должен присутствовать "ParamGovernor"; когда "ParamGovernor" есть "Governor", он должен быть "Type", когда "ParamGovernor" есть "DummyGovernor", фактическим параметром для "ParamGovernor" должен быть "Type";

c) "Object" или "ObjectSet"; в этом случае должен присутствовать "ParamGovernor"; если "ParamGovernor" есть "Governor", это должен быть "DefinedObjectClass", если "ParamGovernor" есть "DummyGovernor", то фактическим параметром для "ParamGovernor" должен быть "DefinedObjectClass";

d) "DummyGovernor" должен быть "DummyReference", который не имеет "Governor".

8.4 Областью действия "DummyReference", появляющейся в конструкции "ParameterList", является сам "ParameterList" вместе с той частью "ParameterizedAssignment", которая следует за "::=". "DummyReference" скрывает любую другую ссылку "Reference" с таким же именем в этой области действия.

Примечание - Этот подпункт не применяется к "identifier", определенным в "NamedNumberList", "Enumeration" и "NamedBitList", так как они не являются "Reference". "DummyReference" не скрывает эти "identifier" (см. ИСО/МЭК 8824-1, 18.11 и 19.10).

8.5 Использование пустой ссылки "DummyReference" в ее области действия должно быть согласовано с ее синтаксической формой, и там, где применимо, - с управляющим параметром, а все использования той же самой "DummyReference" должны быть согласованы друг с другом.

Примечание - Когда синтаксическая форма имени пустой ссылки двусмысленна (например, не ясно, используется "objectclassreference" или "typereference"), неоднозначность может быть разрешена при первом использовании имени пустой ссылки справа от оператора присваивания. После этого характер имени пустой ссылки становится известным. Однако характер пустой ссылки не определяется полностью по правой стороне оператора присваивания, когда он, в свою очередь, используется только как фактический параметр в параметризованной ссылке; в этом случае характер пустой ссылки должен быть определен при рассмотрении определения этой параметризованной ссылки. Пользователи нотации должны учитывать, что такая практика может сделать спецификации АСН.1 менее понятными, поэтому рекомендуется предусматривать соответствующие комментарии для пояснений.

8.6 Каждая пустая ссылка "DummyReference" должна использоваться по крайней мере один раз в пределах своей области действия.

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

Присваивания "ParameterizedValueAssignment", "ParameterizedValueSetTypeAssignment", "ParameterizedObjectAssignment" и "ParameterizedObjectSetAssignment", прямо или косвенно содержащие ссылку на себя, недействительны.

8.7 В определении "ParameterizedType", "ParameterizedValueSet" или "ParameterizedObjectClass" пустая ссылка "DummyReference" не должна передаваться как тегированный тип (как фактический параметр) рекурсивной ссылке на этот "ParameterizedType", "ParameterizedValueSet" или "ParameterizedObjectClass" (см. A.3).

8.8 В определении "ParameterizedType", "ParameterizedValueSet" или "ParameterizedObjectClass" не должно быть циклической ссылки на определяемый элемент, если только такая ссылка прямо или косвенно не помечена как OPTIONAL или в случае "ParameterizedType" и "ParameterizedValueSet" дана путем ссылки на выборочный тип, по крайней мере одна из альтернатив которого является нециклической в определении.

8.9 Управляющий пустой ссылки "DummyReference" не должен включать в себя ссылку на другую "DummyReference", если эта другая "DummyReference" также имеет управляющего.

8.10 В параметризованном присваивании правая сторона "::=" не должна состоять исключительно из "DummyReference".

8.11 Управляющий "DummyReference" не должен требовать знания "DummyReference" или определяемого параметризованного имени ссылки.

8.12 Когда в параметризованный тип в качестве фактического параметра подставляется значение или множество значений, то требуется, чтобы тип фактического параметра был совместим с управляющим соответствующего пустого параметра (см. ИСО/МЭК 8824-1, F.6.2, F.6.3).

8.13 При определении параметризованного типа с пустым параметром вместо значения или множества значений тип, используемый для управления этим пустым параметром, должен быть таким, что все его значения допустимы для использования во всех правых частях присваиваний, где есть пустой параметр (см. ИСО/МЭК 8824-1, F.6.5).

9.1 В перечне "SymbolList" (в "Export" или "Import") параметризованное определение должно быть указано с помощью "ParameterizedReference":

где "Reference" - первый элемент в "ParameterizedAssignment", как определено в 8.2.

Примечание - Первая альтернатива для "ParameterizedReference" предусмотрена исключительно для облегчения понимания. Обе альтернативы имеют один и тот же смысл.

9.2 Вне "Export" или "Import" параметризованное определение должно быть указано конструкцией "Parameterized<X>", которая может использоваться как альтернатива для соответствующего "<X>".

9.3 Имя ссылки в "Defind<X>" должно быть именем ссылки, для которого сделано присваивание в "ParameterizedAssignment".

9.4 Для используемой альтернативы "Defined<X>" ограничения, определенные в ИСО/МЭК 8824-1 и ИСО/МЭК 8824-2 для обычных имен ссылок, должны использоваться и для соответствующих параметризованных имен ссылок.

Примечание - По существу, ограничения следующие: каждый "Defined<X>" имеет две альтернативы - "<x>reference" и "External<x>Reference". Первая используется в модуле определения или когда определение было импортировано и нет противоречия имени; вторая используется тогда, когда нет перечисленного импорта (не рекомендуется), или если есть конфликт между импортированным именем и локальным определением (также не рекомендуется), или есть конфликт между импортированными именами.

9.5 Список фактических параметров "ActualParameterList":

9.6 Должен быть только один параметр "ActualParameter" для каждого "Parameter" в соответствующем "ParameterizedAssignment", и они должны появляться в том же самом порядке. Конкретный выбор "ActualParameter" и управляющего (если он есть) должен определяться синтаксической формой "Parameter" и контекстов, в котором он встречается в "ParameterizedAssignment". "ActualParameter" должен иметь форму, необходимую для замены "DummyReference" в области ее действия (см. 8.4).

9.7 Фактический параметр занимает место имени пустой ссылки в определении фактического типа, значения, множества значений, класса объектов, объекта или множества объектов, которые указываются данным экземпляром использования параметризованного имени ссылки.

9.8 Смысл любых ссылок, которые появляются в "ActualParameter", и умалчиваемый тег, применяемый к любым появляющимся тегам, определяются в соответствии со средой тегирования "ActualParameter", а не "DummyReference".

Примечание - Таким образом, параметризация, подобно ссылкам, селективным типам и COMPONENTS OF, не является точной текстуальной заменой.

10.1 ИСО/МЭК 8824-2 (приложение B) устанавливает класс информационного объекта ABSTRACT-SYNTAX и рекомендует использовать его для определения абстрактных синтаксисов, применяя в качестве примера абстрактный синтаксис, определенный как множество значений единственного типа АСН.1, который не был параметризован на внешнем уровне.

10.2 Когда тип АСН.1, используемый для определения абстрактного синтаксиса, является параметризованным, некоторые параметры могут быть подставлены как фактические параметры, а другие - оставлены как параметры абстрактного синтаксиса.

Параметр абстрактного синтаксиса должен использоваться:

a) прямо или косвенно в контексте ограничения;

b) прямо или косвенно как фактические параметры, которые в конечном счете используются в контексте ограничения.

Примечание - См. примеры в A.2 (приложение A) и ИСО/МЭК 8824-1, пункт D.5.

10.3 Ограничение, множество значений которого зависит от одного или более параметров абстрактного синтаксиса, является переменным. Такие ограничения определяются после определения абстрактного синтаксиса (возможно, профилем международного функционального стандарта или в заявке о соответствии реализации протоколу).

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

10.4 Формально переменное ограничение не влияет на множество значений в абстрактном синтаксисе.

Примечание - Настоятельно рекомендуется, чтобы ограничения, которые, как ожидается, останутся в абстрактном синтаксисе переменными, имели спецификацию исключений, использующую нотацию ИСО/МЭК 8824-1, подраздел 45.4.

Предположим, что разработчику протокола необходимо часто передавать аутентификатор с одним или более полями протокола. Он будет передаваться как BIT STRING рядом с полем. Без параметризации authenticator должен бы быть определен как BIT STRING, а затем authenticator с текстом, идентифицирующим, к чему он прилагался, должен добавляться при каждом появлении. Альтернативно разработчик может предпочесть преобразование каждого поля, имеющего аутентификатор, в последовательность SEQUENCE этого поля и authenticator. Метод параметризации обеспечивает удобную краткую запись для решения этой задачи.

Сначала определяют параметризованный тип SIGNED{}:

тогда в теле протокола нотация (например):

есть нотация типа, установленная для

Далее предположим, что для некоторых полей отправитель должен иметь возможность добавить (или не добавить) аутентификатор. Этого можно достичь, сделав BIT STRING факультативной, но более изящное решение (меньшее количество битов в строке) состоит в том, чтобы определить другой параметризованный тип:

Примечание - Тегирование в CHOICE не является необходимым, если разработчик гарантирует, что ни одно из использований параметризованного типа не порождает фактический параметр, который является BIT STRING (тип SIGNED), но полезен для предотвращения ошибок в других частях спецификации.

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

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

который является конечным, а затем его использовать:

Результирующая нотация АСН.1 является такой, как ее обычно определяют:

Напротив, при:

где результирующая нотация АСН.1 является бесконечной:

Если значение параметризованной строки определяется следующим образом:

то следующие две строки являются такими же:

Если два множества параметризованных значений определены следующим образом:

то следующие множества значений обозначают одно и то же множество значений:

и следующие множества значений обозначают одно и то же множество значений:

Следует обратить внимание, что множество значений всегда задается в фигурных скобках, даже когда это ссылка на параметризованное множество значений. Опуская фигурные скобки у ссылки на "identifier", который был создан в присвоении множества значений, или у ссылки на "ParameterizedValueSetType", получим нотацию для "Type", а не для множества значений.

Следующий параметризованный класс может использоваться для определения классов ошибок, которые содержат коды ошибок различных типов. Следует обратить внимание, что параметр ErrorCodeType используется только как "DummyGovernor" для параметра ValidErrorCodes:

Определение параметризованного класса может использоваться для определения различных классов, которые совместно используют некоторые характеристики, подобные одному и тому же синтаксису:

Определяемые классы тогда могут использоваться следующим образом:

Определение множества параметризованных объектов AllTypes формирует множество объектов, которые содержит базовое множество объектов BaseTypes, и множество дополнительных объектов, которые поставляются как параметр AdditionalTypes:

Определение множества параметризованных объектов, AllTypes, может использоваться следующим образом:

Тип, определенный в ИСО/МЭК 8824-3 (A.4 приложения A), может использоваться в определении параметризованного абстрактного синтаксиса следующим образом:

Следующие элементы определены в ИСО/МЭК 8824-1 и используются в настоящем стандарте:

Следующие элементы определены в ИСО/МЭК 8824-2 и используются в настоящем стандарте:

Следующие продукции определены в ИСО/МЭК 8824-1 и используются в настоящем стандарте:

Следующие продукции определены в ИСО/МЭК 8824-2 и используются в настоящем стандарте:

Следующие продукции определены в настоящем стандарте: