ГОСТ Р ИСО/МЭК 10165-7-2003
7.1.2 П о в е д е н и е у п р а в л я е м о й в з а и м о с в я з и
Поведение управляемой взаимосвязи моделирует независящее от представления поведение
управляемой взаимосвязи в терминах инвариантов через роли участников, а инварианты, пред- и
постусловия —через операции и сообщения управляемой взаимосвязи.
7.1.2.1 инвариант: Логический предикат, который должен оставаться истинным в некоторой
области действия: областью действия может быть время жизни управляемой взаимосвязи или время
выполнения операции административного управления взаимосвязью.
7.1.2.2 предусловие (для операции или сообщения административного управления взаимосвя
зью): Логический предикат, который должен быть истинным непосредственно перед выполнением
операции административного управления взаимосвязью или непосредственно перед созданием
сообщения административного управления взаимосвязью.
7.1.2.3 постусловие (для операции или сообщения административного управления взаимосвя
зью): Логический предикат, который должен быть истинным непосредственно после выполнения
операции административного управления взаимосвязью или непосредственно после создания
сооб щения административного управления взаимосвязью.
7.1.3 У т о ч н е н и е в з а и м о с в я з и
Уточнение взаимосвязи моделирует атрибуты, которые ассоциированы с управляемой взаимо
связью в целом и доступны при реализации независимо от используемого метода представления.
Например, телефонный разговор может быть смоделирован как управляемая взаимосвязь между
двумя управляемыми объектами в роли подписчиков; тогда длительность разговора является
внутренним свойством разговора, а не свойством какого-либо подписчика. Однако в конкретной
реализации и в зависимости от используемого метода представления атрибут длительность-разговора
может быть отображен либо в какой-то из упрааляемых объектов-подписчиков, либо в объект-вза
имосвязь.
7.1.4 Роли
Каждый управляемый объект, связанный в управляемой взаимосвязи, является участником и
исполняет в ней одну или несколько ролей. Роль устанавливает требования для участника и
управляемой взаимосвязи. Участвующий управляемый объект обязан иметь определенные свойства
для исполнения роли; управляемая взаимосвязь обязана подчиняться требованиям роли.
Управляемые объекты одного класса могут исполнять разные роли в одной и той же управляе
мой взаимосвязи. Управляемый объект может исполнять в управляемой взаимосвязи несколько
ролей. Управляемый объектможет участвовать в нескольких экземплярах управляемой взаимосвязи.
7.1.4.1 Свойства участника
Свойства, которые должен иметь управляемый объект для исполнения конкретной роли,
моделируются втерминах классасовместимых управляемых объектов*. Вобщем случае совместимый
класс будет моделировать только те свойства, которые являются характерными для роли. В
конкретной реализации исполняющий роль управляемый объект может иметь дополнительные
свойства, но должен обладать по крайней мере свойствами совместимого класса и.
следовательно, должен быть ему алломорфен.
7.1.4.2 Кардинальное число роли
В общем случае вданной роли управляемой взаимосвязи могут участвовать несколько объектов;
их количество называется кардинальным числом роли. Реализация управляемой взаимосвязидолжна
удовлетворять двум видам ограничений на кардинальное число роли: допустимые и
обязательные значения. Каждое ограничение моделируется в терминах множества значений —
множества неотри цательных целых чисел, которое часто является непрерывным диапазоном
значений.
Ограничение допустимых кардинальных чисел роли устанавливает, какие кардинальные числа
роли может поддерживать реализация, а ограничение обязательных кардинальных чисел роли
устанавливает, какие кардинальные числа роли реализация должна поддерживать. Множество
значений обязательных кардинальных чисел роли должно быть подмножеством множества значений
допустимых кардинальных чисел роли или совпадать с ним.
7.1.4.3 Поддержка связывания и развязывания
Управляемая взаимосвязь на протяжении своего существования можег поддерживать связыва
ние (роль с ролью) и развязывание управляемых объектов. Такая управляемая взаимосвязь поддер
живает операции административного управления взаимосвязью BIND и UNBIND.
Когда управляемая взаимосвязь поддерживает связывание, управляемые объекты могут стать
участниками взаимосвязи во время ее существования при условии, что не нарушаются ограничения
• Понятие совместимости рассмотрено в МИУ (ГОСТ Р ИСО/МЭК 10165-1, 5.2)
6