ГОСТ Р ИСО/МЭК 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 Свойства участника
Свойства, которые должен иметь управляемый объект для исполнения конкретной роли, моделируются в терминах класса совместимых управляемых объектов1. В общем случае совместимый класс будет моделировать только те свойства, которые являются характерными для роли. В конкретной реализации исполняющий роль управляемый объект может иметь дополнительные свойства, но должен обладать по крайней мере свойствами совместимого класса и, следовательно, должен быть ему алломорфен.
7.1.4.2 Кардинальное число роли
В общем случае в данной роли управляемой взаимосвязи могут участвовать несколько объектов; их количество называется кардинальным числом роли. Реализация управляемой взаимосвязи должна удовлетворять двум видам ограничений на кардинальное число роли: допустимые и обязательные значения. Каждое ограничение моделируется в терминах множества значений — множества неотрицательных целых чисел, которое часто является непрерывным диапазоном значений.
Ограничение допустимых кардинальных чисел роли устанавливает, какие кардинальные числа роли может поддерживать реализация, а ограничение обязательных кардинальных чисел роли устанавливает, какие кардинальные числа роли реализация должна поддерживать. Множество значений обязательных кардинальных чисел роли должно быть подмножеством множества значений допустимых кардинальных чисел роли или совпадать с ним.
7.1.4.3 Поддержка связывания и развязывания
Управляемая взаимосвязь на протяжении своего существования может поддерживать связывание (роль с ролью) и развязывание управляемых объектов. Такая управляемая взаимосвязь поддерживает операции административного управления взаимосвязью BIND и UNBIND.
Когда управляемая взаимосвязь поддерживает связывание, управляемые объекты могут стать участниками взаимосвязи во время ее существования при условии, что не нарушаются ограничения
6
1
Понятие совместимости рассмотрено в МИУ (ГОСТ Р ИСО/МЭК 10165-1, 5.2)