ГОСТ Р ИСО/М ЭК 8824-4-2003
aINTEGER,
bX
)
END
Применение 9.8 означает, что тег для компонента П из ТЗ (то есть ®ТЗ.Ь.Л) будет тегирован
неявно, так как среда тегирования пустого параметра X, а именно —явное тегирование, не влияет
на тегирование компонентов фактического параметра TI.
Рассмотрим модуль М3.
М3 DEFINITIONS AUTOMATIC TAGS : : = BEGIN
IMPORTS TI FROM Ml;
T5 :: = T4{T1}
T4{Y| :: = SEQUENCE {
aINTEGER,
bY
)
END
Применение ГОСТ P ИСО/МЭК 8824-1, пункт 30.6. означает, что тег для компонента Ь в Т5
(то есть @Т5.Ь) будет тегирован явно, так как пустой параметр (Y) всегда тегирован явно, следова
тельно, @Т5 эквивалентно
Т5 : : = SEQUENCE {
а |0| IMPLICIT INTEGER,
b|IJ EXPLICIT SET (
П |0] INTEGER.
12 |1| BOOLEAN
1
тогда как <8>T3 эквивалентно
ТЗ : : = SEQUENCE {
a INTEGER,
b SET |
П (0| IMPLICIT INTEGER.
(2 |1| IMPLICIT BOOLEAN
)
10 Параметры абстрактного синтаксиса
10.1 Приложение ВГОСТ Р ИСО/МЭК 8824-2 устанавливает класс информационного объекта
ABSTRACT-SYNTAX и рекомендует использовать его для определения абстрактных синтаксисов,
применяя в качестве примера абстрактный синтаксис, определенный как множество значений
единственного типа АСН.1, который не был параметризован на внешнем уровне.
10.2 Когда тип АСН.1, используемый для определения абстрактного синтаксиса, является
параметризованным, некоторые параметры могут быть подставлены как фактические параметры, а
другие —оставлены как параметры абстрактного синтаксиса.
П р и м е р
Если параметризованный тип был определен вызываемым YYY-PDU с двумя пустыми ссыл
ками (например, первая —набор объектов некоторого заданною класса объектов, а вторая —цело
численное граничное значение), то:
ууу-Abstract-Syntax (!NTEGER:bound) ABSTRACT-SYNTAX : : =
{YYY-PDU {{ValidObjects}, bound} IDENTIFIED BY {yyy 5}}
определяет параметризованный абстрактный синтаксис, в котором множество объектов было раз
решено, а «граничное значение» оставлено в качестве параметра абстрактного синтаксиса.