ГОСТ Р ИСО/МЭК 8824-3-2002
9 Ограничения, определенные пользователем
Примечания
1 Эта форма спецификации ограничения может рассматриваться как специальная форма комментария АСН. 1, так как она не является полностью машинообрабатываемой. Однако автоматические средства могли бы использовать наличие конкретного определенного пользователем ограничения для вызова проверки ограничения приложением пользователя.
2 Разработчики протоколов должны понимать, что, так как определение ограничения подобным образом не является полностью машинообрабатываемым, спецификация, которая использует эту возможность, может быть менее удобной для автоматической обработки.
9.1 Ограничение, определенное пользователем «UserDefinedConstraint», специфицируется синтаксисом:
UserDefinedConstraint : : =
CONSTRAINED BY « { » UserDefinedConstraintParameter « , » * « } »
9.2 Рекомендуется, чтобы фактическое ограничение описывалось где-либо в комментарии в фигурных скобках (« { » и « } »). Этот комментарий должен ясно устанавливать, какое ограничение накладывает «UserDefinedConstraint».
Примечание — Если в фигурных скобках имеется несколько «UserDefinedConstraintParameter» (см. 9.3), то комментарии могут стоять перед, после или между ними, как удобнее разработчику.
9.3 Фактическое ограничение, которое должно применяться, может зависеть от некоторых параметров. Для каждого такого параметра в ограничение «UserDefinedConstraint» должна быть включена продукция «UserDefinedConstraintParameter»:
UserDefinedConstraintParameter :: =
Governor «:» ActualParameter | ActualParameter
Нотации для «Governor» и «ActualParameter» определены в ИСО/МЭК 8824-4, пункты 8.3 и 9.5 соответственно. Когда фактический параметр «ActualParameter» есть тип «Type» или класс объекта «ObjectClass», то не должно быть продукции «Governor»; когда фактический параметр «ActualParameter» есть значение «Value» или множество значений «ValueSet», то продукция «Governor» должна присутствовать и быть типом «Type»; когда фактический параметр «ActualParameter» есть объект «Object» или множество объектов «ObjectSet», то продукция «Governor» должна присутствовать и быть «DefinedObjectClass».
9.4 Пример
Если разработчик приложения хочет специфицировать, что некоторые компоненты должны быть битовыми строками, представляющими зашифрованные значения некоторого типа АСН. 1 (различные для каждого компонента), то (используя параметризацию ИСО/МЭК 8824-4) параметризованный тип ENCRYPTED может быть определен следующим образом:
ENCRYPTED {ToBeEnciphered} : : = BIT STRING (CONSTRAINED BY
{- - должен быть результат шифрования некоторого BER-кодированного значения - -T oBeEnciphered}
!Error : : = securityViolation)
Error : : = ENUMERATED {securityViolation}
и использование параметризованного подтипа ENCRYPTED строки BIT STRING (чем, собственно, и является тип ENCRYPTED) выглядит как:
ENCRYPTED {SecurityParameters} или, эквивалентно, по желанию разработчика:
BIT STRING (ENCRYPTED {SecurityParameters})
Появление ошибки sequirityViolation обрабатывается в соответствии с местной политикой защиты.
10 Табличные ограничения, включая ограничения связи компонента
Примечания
1 Классы информационных объектов, информационные объекты, множества информационных объектов и тип «поле класса объекта» определены в ГОСТ Р ИСО/МЭК 8824-2. Понимание этих концепций подразумевается в данном разделе.
3