ГОСТ Р ИСО/М ЭК 10165-7—2003
Удаление управляемого объекта person (или его подкласса), сия тайного в зависимой роли взаимосвязи
зависимости с оюбражснисм dependencyNamingRepresentation RELATIONSHIP MAPPING, приводит к
завершению этой зависимости, если после удалении нс будет существовать других зависимых объектов со
связыванием имен aNameBinding. * ;
aNameBinding NAME BINDING
SUBORDINATE OBJECT CLASS person AND SUBCLASSES;
NAMED BY SUPERIOR OBJECT CLASS cPcrson AND SUBCLASSES;
WITH ATTRIBUTE pcrsonName;
CREATE;
DELETE;
REGISTERED .AS (GRMExample. grmEx-NameBinding x} ;
cPcrson MANAGED OBJECT CLASS
DERIVED FROM person;
CHARACTERIZED BY
timePackage PACKAGE
ATTRIBUTES
tinicQ
(Establishment GET; ; ;
REGISTERED .AS {GRMExample.grmEx-Object x} ;
F.4 Пример родовой взаимосвязи композиции
Данный пример иллюстрирует использование шаблона класса взаимосвязи для определения родовой
взаимосвязи композиции между единственным объектом в составной роли и одним и более объектами в роли
компонентов, а также уточнение шаблона. Такая взаимосвязь может быть полезна для моделирования
взаимосвязи компоновки.
gcncralC’ompositionRclatinnship RELATIONSHIP CLASS
BEHAVIOUR gcncralCompositionRclationshipBchaviour:
SUPPORTS
ESTABLISH cstaMishGcncralComposition.
TERMINATE terminatcGcncralComposition;
GRMExample.OncToOne
GRMExample.OncToOne
ROLEcompositeRole
PERMITTED-ROLE-CARDINALITY-CONSTRAINT
REQUIRED-ROLE-CARDINALITY-CONSTRAINT
REGISTERED .AS {GRMExample. grmEx-Role x),
ROLEcomponentRole
PERMITTED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OncToMax
REQUIRED-ROLE-CARDINALITY-CONSTRAINTGRMExample.OncToOne
BIND-SUPPORT bindfomponent
UNBIND-SUPPORT unbindComponent
REGISTERED .AS {GRMExample. grmEx-Role x) ;
REGISTERED AS {GRMExample. grmEx-RclationshipClass x} ;
gcneralCompositionRelationshipBeba>iour BEHAVIOUR DEFINED AS»
ИНВАРИАНТ;
существование экземпляра этого класса взаимосвязей подразумевает существование
ровно одного участника в составной pain и одного или нескольких участников в роли
компонентов. По крайней мере одно свойство составного участника зависит от свойств
компонентов. По крайней мерс идентичность составного участника нс зависит от
существования и свойств компонентов; т. е. создание, обновление или удаление любого
компонента не изменяет идентичности составного участника.
ОПЕРАЦИИ:
ESTABLISH cstablishGeneralComposition
Сигнатура: Класс и идентификация предлагаемого участника в составной роли и класс и идентифи
кация ирелатасмото(ых) учасгника(ов) в роли компонснта(ов). которые должны быть
связаны в экземпляре gcneralCompositionRelationship.
Предусловие: предлагаемые участники сше нс связаны в одном и том же экземпляре класса gcneralCom-
positionRclationship или сто подкласса.
Постусловие: экземпляр класса gcneralCompositionRelationship существует: участники, указанные в сиг
натуре. связаны в этом экземпляре класса gcneralCompositionRelationship.
33