ГОСТ Р ИСО/МЭК 10165-7-2003
Предусловие: два участника, идентифицированные в сигнатуре UNBIND, существуют и связаны в одном и том же экземпляре класса взаимосвязи зависимости; взаимосвязь зависимости существует; существует по крайней мере один другой участник, связанный в этой взаимосвязи в зависимой роли.
Постусловие: участник в зависимой роли, указанный в сигнатуре UNBIND, не существует; все другие участники, связанные в этом экземпляре класса взаимосвязи зависимости, существуют и остаются в нем связанными.
TERMINATE terminateDependency
Сигнатура: идентификация экземпляра класса взаимосвязи зависимости, который должен быть завер
шен.
Предусловие: экземпляр класса взаимосвязи зависимости, идентифицированный в сигнатуре, существует; в зависимой роли в этой взаимосвязи зависимости существует только один участник. Постусловие: экземпляр класса взаимосвязи зависимости, указанный в сигнатуре, не существует; участник, который был в родительской роли, существует. Участник в зависимой роли не существует. Значение уточняющего атрибута timeOfEstablishment является неопределенным. »;
person MANAGED OBJECT CLASS
DERIVED FROM «CCITT Rec.X. 721 | ISO/IEC 10165-2»: top;
CHARACTERIZED BY
personPackage PACKAGE ATTRIBUTES personName GET; ; ;
REGISTERED AS {GRMExample. grmEx-Object x} ;
personName ATTRIBUTE
WITH ATTRIBUTE SYNTAX GRMExample.PersonName;
REGISTERED AS {GRMExample. grmEx-Attribute x} ;
timeOfEstablishment ATTRIBUTE
WITH ATTRIBUTE SYNTAX UTCTime;
REGISTERED AS {GRMExample. grmEx-Attribute x};
F.3.2 Класс взаимосвязей зависимости, представленный с помощью сопряженных указателей
dependencyAttributeRepresentation RELATIONSHIP MAPPING RELATIONSHIP CLASS dependency;
BEHAVIOUR dependencyAttributeRepresentationBehaviour;
ROLE parentRole
RELATED-CLASSES aPerson
REPRESENTED-BY ATTRIBUTE parent QUALIFIES timeOfEstablishment,
ROLE dependentRole
RELATED-CLASSES bPerson
REPRESENTED-BY ATTRIBUTE dependents;
OPERATIONS MAPPINGS
ESTABLISH establishDependency MAPS-TO-OPERATION CREATE OF dependentRole,
TERMINATE terminateDependency MAPS-TO-OPERATION DELETE OF dependentRole,
BIND bindDependent
MAPS-TO-OPERATION CREATE OF dependentRole,
UNBIND unbindDependent
MAPS-TO-OPERATION DELETE OF dependentRole,
QUERY queryParent parentRole
MAPS-TO-OpERATIoN GET parent OF dependentRole,
QUERY queryDependents dependentRole
MAPS-TO-OpERaTiON GET dependents OF parentRole;
REGISTERED AS {GRMExample. grmEx-RelationshipMapping x} ;
dependencyAttributeRepresentationBehaviour BEHAVIOUR DEFINED AS»
Это представление класса взаимосвязей зависимости использует сопряженные указатели участников для представления экземпляра взаимосвязи; согласованность указателей участников должна быть обеспечена.
29