ГОСТ Р ИСО/МЭК 8824-3-2002
ACM. 1 с некоторым другим определенным языком программирования. Настоящая версия стандарта не уста
навливает такие связи и, следовательно, поддерживает только небольшое число методов о
1
раничсний.
Хотя вложение нотации, определяющей ограничения (подтипы и связи), часто является наи
более подходящей формой спецификации (в частности, для простого подтипа примитивных компо
нентов структур), отдельная (внешняя) спецификация иногда будет предпочтительней, в частности,
когда ограничения будут задаваться отдельно от основного протокола.
П р и м е ч а н и е 5 — Параметризация, определенная ИСО/МЭК 8824-4, специально разрабатываетсядля
того, чтобы дать возможность части спецификации АСН. 1 (и, в частности, ограничению) быть параметризо
ванной. допуская, чтобы фактическое ограничение определялось другой группой спецификаций, которая
обеспечивает фактические параметры для параметризованной конструкции.
В настоящем стандарте для спецификации ограничения устанавливаются следующие нотации:
- ограничения, определенные пользователем (см. раздел 9);
- табличные ограничения, включая ограничения связи компонентов, между двумя компонен
тами, которые представляют значения, связанные с информационным объектом, определенным с
использованием нотации ГОСТ Р ИСО/МЭК 8824-2 (см. раздел 10).
Применение табличных ограничений к типу «InstanceOfType* ГОСТ Р ИСО/МЭК 8824-2,
приложение С, определено в приложении А настоящего стандарта.
V