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