ГОСТ Р ИСО/МЭК 10165-7-2003
- родитель:
- сын;
- дочь.
F.3.1 Определение класса взаимосвязи зависимости
dependency RELATIONSHIP CLASS
BEHAVIOUR dependencyBehaviour.
SUPPORTS
ESTABLISH cstabtishDcpcndcncy,
TERMINATE terminateDependency.
QUERYqueryDependents.
QUERY qucryParent;
QLAL1FIED-BY limcOfEstablrshmcnt;
ROLEparentRoie
PERMITTED-ROLE-CARDINALITY-CONSTR-AEVTGRMExample.Onc
REQUIRED-ROLE-CARDINAUTY-CONSTRAINTGRMExample.One
PERMlITED-RELATlONSHIP-CARDINALm-CONSTRAINT GRMExamplc.One
REGISTERED AS {GRMExample, grmEx-Role x};
ROLEdependent Rule
PERMITTED-ROLE-CARDI.NAL1TY-COSTRAI NTGR.MExample.OneToMax
REQUIRED-ROLE-CARDINALITY-CONSTRAINTGRMExample.One
PERMITTED-RELATIONSHIP-CARDINALITY-CONSTRAINT GRM Example.One
BIND-SUPPORTbindDependent
UNBIND-SUPPORT unbindDependent
REGISTERED AS {GRMExample.gnnEx-Role x);
REGISTERED AS {GRMExample. grmEx-RelationshipCIass x);
dependency Behaviour BEHAVIOUR DEFINED AS *
ИНВАРИАНТ:в этом классе взаимосвязей есть две роли —родительская и зависимая. Существование
участника в зависимом роди подразумевает существование по крайней мерс одною
соответствующего участника в родительской рази. Управляемый объект не может играть
обе роли.
КОММЕНТАРИИ: экземпляр обьекта. играющий зависимую роль, может участвовать только в одном
экземпляре этой взаимосвязи зависимости, т. с. кардинальное число взаимосвязи равно
единице. Экземпляр объекта, способный играть родительскую роль, может существовать
вне взаимосвязи зависимости, а объект, играющий зависимую рать. —нет. Уточняющий
атрибут (timcOfEstablishment) указывает вформате UTC время установления взаимосвя
зи.
ОПЕРАЦИИ:
ESTABLISH establish Dependency
Сигнатура: класс и идентификация предлагаемого участвующего объекта в зависимой роли, которая
должна быть создана операцией ESTABLISH: класс и идентификация предлагаемого
участника в родительской роли.
Предусловие: предлагаемый участник в зависимой рати нс должен существовать; предлагаемый участник
в родительской рати существует.
Постусловие: существует новый экземпляр класса взаимосвязи зависимости; участники в родительской
и зависимой ролях, предложенные всигнатуре ESTABLISH, существуют и связаны в новом
экземпляре класса взаимосвязи зависимости. Уточняющий атрибут timeOfEstablishmcnl
установлен равным текущему значению времени UTC.
BIND bindDependent
Сигнатура:класс и идентификация участника в родительской рати; класс и идентификация предла
гаемого участника, который должен быть создан в зависимой роли.
Предусловие: участник в родительской рати существует и связан в экземпляре класса взаимосвязи
зависимости; предлагаемый участник в зависимой роли нс существует.
Постусловие: участник в зависимой роли, указанный в сигнатуре BIND, существует и связан и том же
самом экземпляре класса взаимосвязи зависимости, что и участник в родительской роли,
указанный в сигнатуре BIND.
UNBIND imbindDcpendcm
Сигнатура:
класс и идентификация участника в родительской роли; класс и идентификация участника
в зависимой роли.
28