ГОСТ Р ИСО/МЭК 10165-7-2003
BIND bindComponent
Сигнатура: класс и идентификация предлагаемого участника в роли компонента; идентификация
generalCompositionRelationship.
Предусловие: указанный экземпляр класса generalCompositionRelationship существует; предлагаемый участник в роли компонента не связан с этим экземпляром класса generalCompositionRelationship; существует по крайней мере один участник в роли компонента, связанный с этим экземпляром класса generalCompositionRelationship.
Постусловие: указанный в сигнатуре участник в роли компонента существует и связан с этим экземпляром класса generalCompositionRelationship.
UNBIND unbindComponent
Сигнатура: класс и идентификация участника в роли компонента; идентификация generalComposition-
Relationship.
Предусловие: экземпляр класса generalCompositionRelationship, указанный в сигнатуре, существует;
участник в роли компонента, указанный в сигнатуре, привязан к указанному экземпляру класса generalCompositionRelationship; существует по крайней мере один другой участник в роли компонента, привязанный к указанному экземпляру класса generalCompositionRe-lationship.
Постусловие: указанный участник в роли компонента существует, но не привязан к указанному экземпляру класса generalCompositionRelationship; указанный экземпляр класса general-CompositionRelationship существует.
TERMINATE terminateGeneralComposition
Сигнатура: идентификация экземпляра generalCompositionRelationship.
Предусловие: указанный экземпляр класса generalCompositionRelationship существует.
Постусловие: указанный экземпляр класса generalCompositionRelationship не существует; участники в составной роли и в ролях компонентов, которые были привязаны к взаимосвязи, существуют. » ;
F.4.1 Подкласс родовой взаимосвязи композиции
subclassedCompositionRelationship RELATIONSHIP CLASS DERIVED FROM generalCompositionRelationship;
BEHAVIOUR subclassedCompositionRelationshipBehaviour
BEHAVIOUR DEFINED AS»
Этот класс взаимосвязей уточняет, что обязательное кардинальное число роли компонентов класса generalCompositionRelationship должно находиться в диапазоне 1—5; все другие характеристики этого класса взаимосвязей наследуются от класса generalCompositionRelationship. » ; ;
ROLE componentRole
REQUIRED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OneToFive;
REGISTERED AS {GRMExample. grmEx-Object x} ;
F.5 Пример области управления доступом
accessControlDomain RELATIONSHIP CLASS
BEHAVIOUR accessControlDomainBehaviour BEHAVIOUR DEFINED AS»
Этот класс взаимосвязей связывает управляемые объекты, которые являются субъектами управления доступом (memberObjectRole), с управляемыми объектами, представляющими функции принудительного доступа (aefRole^ функции решения о доступе (adfRole). » ; ;
SUPPORTS QUERY queryAccessControlDomain;
ROLE memberObjectRole
REQUIRED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OneToTwo;
BIND-SUPPORT bindMember
UNBIND-SUPPORT unbindMember REGISTERED AS {GRMExample.grmEx-Role memberObjectRoleArc(l)},
ROLE aefRole
COMPATIBLE-WITH «ITU-T Rec.X.741 | ISO/IEC 10164-9»: notificationEmitter PERMITTED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OneToOne REQUIRED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OneToOne REGISTERED AS {GRMExample. grmEx-Role aefRoleArc(2)},
34