ГОСТ Р ИСО/МЭК 8824-3-2002
ПРИЛОЖЕНИЕ А
(обязательное)
Ограничивающие типы «экземпляр-из»
А. I В этом приложении специфицировано применение ограничений к типу «InstanccOfTvpe». опреде
ленному в приложении С к ГОСТ Р ИСО/МЭК 8824-2.
А.2 Единственное ограничение, которое может быть применено к такому типу, является простым
табличным ограничением, определенным в разделе 10. Эквивалентный тип «последовательность» тина экзем
пляр-из «InsianceOiTvpc» шраничен тогда следующим образом:
SEQUENCE
1
type-id <DcfincdObjcctClass>.&id(<DcfincdObjcctSct>),
value|0] <DcfmedObjcctClass>.&Tvpc <<DcfincdObjcctSet>(®.typc-id})
)
где •<DefinedObjcctC’lavs>» заменяется конкретным классом «DcfinedObjcclClass*. используемым в нотации
«InstanccOfTvpe*, a <KObjcctScl>» — конкретным множеством «ObjcctSct*, используемым в простом табличном
ограничении.
А.З Там, где к типу «экземпляр-из* применяется несколько ограничений, каждое порождает ограничение
приведенного выше вида, так что несколько офаничений применяется к каждому элементу эквивалентного
типа «последовательность».
А.4 П р и ме р
На основе примера из ГОСТ Р ИСО/МЭК 8824-2. пункт С.1) можно построить следующий пример.
Тип
INSTANCE OF МIIS-BODY-CLASS ({PossiblcBodyTypes})
имеет эквивалентный тип «последовательность»
(UNIVERSAL 8J IMPLICIT SEQUENCE
{
type-id MHS-BODY-CLASS.&id ({PossibleBodyTypcsJ),
value |0| MHS-BODY-C’LASS.&Tvpc ((PossibleBodyTypes} {#.typc-id})
)
Здесь компонент последовательности *typc-id* ограничен тем. что можсл принимать значения ноля &id
одного из типов «PossibleBodvTypcs», тогда как компонент «value» ограничен тем, что может быть любым
значением поля &Туре того же самого информационного объекта.
В этом случае продукция •PossibleBodyTypcs» была бы, вероятно, параметром спецификации
(см. ИСО/МЭК 8824-4, разделы 10 и А.8). который не мог бы быть разрешен до тех пор. пока нс создана заявка
о соответствии реализации протокола, оставляя указанные выше озраничення переменными, как
определено в ИСО/МЭК 8824-4. пункт 10.3.
8