a INTEGER, b X

}

END

Применение 9.8 означает, что тег для компонента fl из ТЗ (то есть @T3.b.fl) будет тегирован неявно, так как среда тегирования пустого параметра X, а именно — явное тегирование, не влияет на тегирование компонентов фактического параметра Т1.

Рассмотрим модуль М3.

М3 DEFINITIONS AUTOMATIC TAGS : : = BEGIN IMPORTS T1 FROM Ml;

T5 : : = T4{T1}

T4{Y} : : = SEQUENCE { a INTEGER, b Y

}

END

Применение ГОСТ Р ИСО/МЭК 8824-1, пункт 30.6, означает, что тег для компонента b в Т5 (то есть @T5.b) будет тегирован явно, так как пустой параметр (Y) всегда тегирован явно, следовательно, @T5 эквивалентно

T5:: = SEQUENCE {

a [0] IMPLICIT INTEGER, b [1] EXPLICIT SET { fl [0] INTEGER, f2 [1] BOOLEAN

}

}

тогда как @T3 эквивалентно

T3:: = SEQUENCE { a INTEGER, b SET {

f1 [0] IMPLICIT INTEGER, f2 [1] IMPLICIT BOOLEAN

}

}

10 Параметры абстрактного синтаксиса

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

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

Пример

Если параметризованный тип был определен вызываемым YYY-PDU с двумя пустыми ссылками (например, первая — набор объектов некоторого заданного класса объектов, а вторая — целочисленное граничное значение). то:

yyy-Abstract-Syntax {INTEGER:bound} ABSTRACT-SYNTAX : : =

{YYY-PDU {{ValidObjects}, bound} IDENTIFIED BY {yyy 5}} определяет параметризованный абстрактный синтаксис, в котором множество объектов было разрешено, а «граничное значение» оставлено в качестве параметра абстрактного синтаксиса.

8