ГОСТ Р ИСО/МЭК 10165-7-2003
Удаление управляемого объекта person (или его подкласса), связанного в зависимой роли взаимосвязи зависимости с отображением dependencyNamingRepresentation RELATIONSHIP MAPPING, приводит к завершению этой зависимости, если после удаления не будет существовать других зависимых объектов со связыванием имен aNameBinding. » ;
aNameBinding NAME BINDING
SUBORDINATE OBJECT CLASS person AND SUBCLASSES;
NAMED BY SUPERIOR OBJECT CLASS cPerson AND SUBCLASSES;
WITH ATTRIBUTE personName;
CREATE;
DELETE;
REGISTERED AS (GRMExample. grmEx-NameBinding x} ;
cPerson MANAGED OBJECT CLASS DERIVED FROM person;
CHARACTERIZED BY timePackage PACKAGE ATTRIBUTES timeOfEstablishment GET; ; ;
REGISTERED AS {GRMExample.grmEx-Object x} ;
F.4 Пример родовой взаимосвязи композиции
Данный пример иллюстрирует использование шаблона класса взаимосвязи для определения родовой взаимосвязи композиции между единственным объектом в составной роли и одним и более объектами в роли компонентов, а также уточнение шаблона. Такая взаимосвязь может быть полезна для моделирования взаимосвязи компоновки.
generalCompositionRelationship RELATIONSHIP CLASS BEHAVIOUR generalCompositionRelationshipBehaviour;
SUPPORTS
ESTABLISH establishGeneralComposition,
TERMINATE terminateGeneralComposition;
ROLE compositeRole
PERMITTED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OneToOne REQUIRED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OneToOne
REGISTERED AS {GRMExample. grmEx-Role x},
ROLE componentRole
PERMITTED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OneToMax REQUIRED-ROLE-CARDINALITY-CONSTRAINT GRMExample.OneToOne BIND-SUPPORT bindComponent UNBIND-SUPPORT unbindComponent REGISTERED AS {GRMExample. grmEx-Role x} ;
REGISTERED AS {GRMExample. grmEx-RelationshipClass x} ;
generalCompositionRelationshipBehaviour BEHAVIOUR DEFINED AS»
ИНВАРИАНТ: существование экземпляра этого класса взаимосвязей подразумевает существование
ровно одного участника в составной роли и одного или нескольких участников в роли компонентов. По крайней мере одно свойство составного участника зависит от свойств компонентов. По крайней мере идентичность составного участника не зависит от существования и свойств компонентов; т. е. создание, обновление или удаление любого компонента не изменяет идентичности составного участника.
ОПЕРАЦИИ:
ESTABLISH establishGeneralComposition
Сигнатура: Класс и идентификация предлагаемого участника в составной роли и класс и идентифи
кация прелагаемого(ых) участника(ов) в роли компонента(ов), которые должны быть связаны в экземпляре generalCompositionRelationship.
Предусловие: предлагаемые участники еще не связаны в одном и том же экземпляре класса generalCom-positionRelationship или его подкласса.
Постусловие: экземпляр класса generalCompositionRelationship существует: участники, указанные в сигнатуре, связаны в этом экземпляре класса generalCompositionRelationship.
33