ГОСТ Р ИСО/МЭК 10165-7-2003

быть задано в терминах множества значений подтипа неотрицательных целых АСН.1. Например, если ограничение задает множество значений INTEGER (1, 3, 4), то управляемая взаимосвязь обязана поддерживать в данной роли один, три или четыре управляемых объекта, но не обязана поддерживать два или более четырех управляемых объектов. Реализация обязана соблюдать это ограничение.

Если множество значений содержит 0, то роль является факультативной; однако факультативность роли не подразумевает поддержку операций связывания и развязывания. Если ограничение отсутствует, то по умолчанию должно использоваться унаследованное ограничение обязательных кардинальных чисел роли; если никакое ограничение не наследуется, то никаких обязательных ограничений для управляемой взаимосвязи нет.

Множество значений REQUIRED-ROLE-CARDINALITY-CONSTRAINT должно быть подмножеством значений PERMITTED-ROLE-CARDINALITY- CONSTRAINT или должно равняться ему.

А.1.3.5.4 BIND-SUPPORT [имя-операции]

Эта конструкция должна использоваться для спецификации того, что управляемые объекты могут стать во время существования взаимосвязи ее участниками в данной роли при условии, что не нарушаются ограничения кардинальных чисел этой роли. Отсутствие данной конструкции подразумевает, что управляемые объекты не могут стать участниками в данной роли уже существующей взаимосвязи.

При необходимости имя-операции должно использоваться для:

-    обеспечения связи с факультативной спецификацией (в шаблонах поведения, указанных конструкцией BEHAVIOUR) поведения, дополнительного к заданному для операции-прототипа, установленной в BIND;

-    устранения двусмысленности кратных операций административного управления взаимосвязью, которые основаны на операции-прототипе BIND;

-    обеспечения связи с соответствующими операциями административного управления системы в шаблоне отображения взаимосвязи.

А.1.3.5.5 UNBIND-SUPPORT [имя-операции]

Эта конструкция должна использоваться для спецификации того, что участники могут быть освобождены от данной роли во время существования взаимосвязи при условии, что не нарушаются ограничения кардинальных чисел этой роли. Отсутствие данной конструкции подразумевает, что участники не могут быть освобождены от данной роли во время существования взаимосвязи.

При необходимости имя-операции должно использоваться для:

-    обеспечения связи с факультативной спецификацией (в шаблонах поведения, указанных конструкцией BEHAVIOUR) поведения, дополнительного к заданному для операции-прототипа, установленной в UNBIND;

-    устранения двусмысленности кратных операций административного управления взаимосвязью, которые основаны на операции-прототипе UNBIND;

-    обеспечения связи с соответствующими операциями административного управления системы в шаблоне отображения взаимосвязи.

А.1.3.5.6 PERMITTED-RELATIONSHIP-CARDINALITY-CONSTRAINT указание-типа

Эта конструкция должна использоваться для спецификации любых ограничений на число взаимосвязей данного класса, в которых может участвовать управляемый объект в данной роли. Ограничение должно быть задано в терминах множества значений подтипа неотрицательных целых АСН.1. Например, если ограничение задает множество значений INTEGER (0..3), то управляемому объекту разрешено участвовать в данной роли не более чем в трех экземплярах данного класса управляемых взаимосвязей. Реализация обязана соблюдать это ограничение. Если эта конструкция отсутствует, то по умолчанию должно использоваться унаследованное ограничение допустимых кардинальных чисел взаимосвязи; если никакое ограничение не наследуется, то в качестве ограничения принимается множество значений INTEGER (0..MAX).

А.1.3.5.7 REGISTERED AS идентификатор-объекта

Эта конструкция должна использоваться для спецификации глобально однозначного идентификатора, под которым зарегистрирована эта роль; идентификатор может использоваться в протоколах для недвусмысленной идентификации роли. Если роль наследуется, то эта конструкция не должна присутствовать.

А.1.3.6 REGISTERED AS идентификатор-объекта

Эта конструкция должна использоваться для спецификации глобально однозначного идентификатора, под которым зарегистрирован класс управляемых взаимосвязей; идентификатор может использоваться в протоколах для недвусмысленной идентификации класса управляемых взаимосвязей.

А.2 Шаблон отображения взаимосвязи

А.2.1 Обзор

Шаблон отображения взаимосвязи образует основу для формального определения отображения взаимосвязи. Конструкции в шаблоне позволяют определить различные элементы представления, а именно:

а)    поведение отображения взаимосвязи;

б)    объекты взаимосвязи;

в)    классы-кандидаты, из которых могут быть получены управляемые объекты для исполнения данной

роли;

г)    методы представления;

д)    уточняющие атрибуты;

е)    отображения операций и сообщений.

15