В настоящем стандарте определена семантика родовой информации административного управления и прототипы операций и сообщений административного управления взаимосвязью. Формальная спецификация синтаксиса родовой информации административного управления приведена в приложении В.
8.1 Операции и сообщения административного управления взаимосвязью
8.1.1 ESTABLISH
Инвариант: | ограничения кардинальных чисел роли и взаимосвязи не нарушаются. |
Предусловие: | управляемая взаимосвязь не существует; управляемые объекты, заданные в операции как объекты, которые должны быть связаны, относятся к классу, допустимому для роли. |
Постусловие: | управляемая взаимосвязь существует; управляемые объекты, заданные в операции, существуют и присоединены к управляемой взаимосвязи. |
8.1.2 TERMINATE
Предусловие: | управляемая взаимосвязь существует. |
Постусловие: | управляемая взаимосвязь не существует; управляемые объекты, которые были ею связаны, теперь не связаны этой управляемой взаимосвязью. |
8.1.3 BIND
Инвариант: | управляемая взаимосвязь существует; ограничения кардинальных чисел роли и взаимосвязи не нарушаются. |
Предусловие: | классы управляемых объектов, заданных в операции, являются теми, которые допустимы для роли; управляемая взаимосвязь поддерживает операцию связывания для роли. |
Постусловие: | управляемые объекты, заданные в операции, существуют и присоединены к управляемой взаимосвязи. |
8.1.4 UNBIND
Инвариант: | управляемая взаимосвязь существует; ограничения кардинальных чисел роли и взаимосвязи не нарушаются. |
Предусловие: | управляемые объекты, заданные в операции, существуют и присоединены к управляемой взаимосвязи; управляемая взаимосвязь поддерживает операцию развязывания для роли. |
Постусловие: | управляемые объекты, заданные в операции, не присоединены к управляемой взаимосвязи. |
8.1.5 QUERY
Предусловие: | TRUE. |
Постусловие: | управляемая взаимосвязь остается неизмененной. |
8.1.6 NOTIFY
Предусловие: | TRUE. |
Постусловие: | управляемая взаимосвязь остается неизмененной. |
8.1.7 Определенная пользователем
В настоящем стандарте семантика этого прототипа не устанавливается.
8.2 Класс управляемых объектов genericRelationshipObject
Все классы объектов взаимосвязи должны специализироваться из genericRelationshipObject, который содержит атрибуты reIationshipMapping, relationshipClass и relationshipName. Класс объектов взаимосвязи для конкретного класса взаимосвязей должен для каждой роли, определенной в классе управляемых взаимосвязей, включать в себя атрибут, полученный из атрибута PARTICIPANTPOINTER.
8.3 Связывание имен genericRelationshipObject-system
Это связывание имен должно использоваться для наименования объектов взаимосвязей относительно управляемого объекта "система", используя атрибут relationshipName
8.4 Атрибуты
8.4.1 Атрибут relationshipName