ГОСТ Р ИСО/МЭК 10165-7-2003
|
Таблица 4 — Отображения операций для взаимосвязей, представленных операциями административного управления |
|
Прототип операции управления взаимосвязью |
Подходящие, ориентированные на объект операции управления системы над участвующими управляемыми объектами |
|
BIND |
Create, Action |
|
UNBIND |
Delete, Action |
|
QUERY |
Action |
|
ESTABLISH |
Create, Action |
|
TERMINATE |
Delete, Action |
|
8 Родовые определения
В настоящем стандарте определена семантика родовой информации административного управления и прототипы операций и сообщений административного управления взаимосвязью. Формальная спецификация синтаксиса родовой информации административного управления приведена в приложении В.
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.
Постусловие: управляемая взаимосвязь остается неизмененной.
10