Хорошие продукты и сервисы
Наш Поиск (введите запрос без опечаток)
Наш Поиск по гостам (введите запрос без опечаток)
Поиск
Поиск
Бизнес гороскоп на текущую неделю c 16.03.2026 по 22.03.2026
Открыть шифр замка из трёх цифр с ограничениями

ГОСТ Р ИСО 10165.7-2003; Страница 14

или поделиться

Страница 14
ГОСТ Р ИСО/МЭК 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