ГОСТ Р ИСО/МЭК 10165-7—2003
специфика гор-роли - >
ROLE имя-ролн
ICOMРАТ1BLE-WITH <метка-класса>|
[PERMITTED-ROLE-CARDINALITY-CONSTRAINT указание-типа!
[REQUIRED-ROLE-CARDINALITY-CONSTRAINT указание-типа]
[BIND-SUPPORT [нмя-
011
срапни||
[UNBIND-SUPPORT [имя-операции] |
[PERMirTED-RELATIONSHlP-CARDINALITY-CONSTRAINT указание-типа]
[REGISTERED AS нле>ггмфикатор-(м>ъекта)
имя-роли - > <идентификатор >
имя-операции - > <идентификатор >
имя-сообщения - > <идснтнфикатор>
А. 1.3 Вспомогательные определения
А. 1.3.1 DERIVED FROM <метка-к
1
асеа-взаимосвязсн> [ . <иетка-класса-вланмосвя
1
ей> [ *
Эта конструкция должна использоваться для спецификации супсркласса(ов). от которого(ых) класс
управляемых взаимосвязей наследует свои характеристики, включая те, которые, в свою очередь, были
унаследованы от другого(их) класса(ов) управляемых взаимосвязей. Класс управляемых взаимосвязей является
специализацией унаследованных характеристик и тех. которые специфицированы для уравновешивания
заполненного шаблона; специализация такова, что подкласс согласован со своим(и) суперклассом(ами). Если
данная конструкция отсутствует, то класс управляемых взаимосвязей не является специализацией другого(их)
класса(ов) управляемых взаимосвязей.
Спецификация характеристик, которые наследуются от других классов управляемых взаимосвязей, не
должна повторяться в спецификации подкласса, если только нс используется один из описанных в
ГОСТ Р ИС’О/МЭК 10165-4 методов для расширении унаследованной от суперкласса спецификации.
Следующие правила обеспечивают согласованность спецификаций подклассов управляемых взаимосвя
зей.
а) SUPPORTS: специализированные операции административного управления взаимосвязью должны
быть объединением операций административного управления взаимосвязями суперклассов и операций, спе
циализированных в подклассе; наследование и специализация нс должны вносить в подкласс дополнительные
сообщения административного управления взаимосвязью.
б) QUALIFIED BY: множества допустимых и обязательных значений диапазонов атрибутов не должны
изменяться в подклассе.
в) BEHAVIOUR: поведение подкласса должно быть:
- дизъюнктивной кох(бинаиисй предусловий, унаследованных от суперкласса(ов) и специфицированных
в подклассе;
- конъюнктивной комбинацией постусловий, унаследованных от супсркласса(ов) и специфицированных
в подклассе;
- конъюнктивной комбинацией инвариантов, унаследованных от сулсркласса(ов) и специфицированных
в подклассе; если инварианты являются взаимопрозиворсчивымм. то подкласс не может быть специфицирован.
г) ROLE
В определение подкласса могут быть включены дополнительные спецификации роли.
Класс управляемых объектов, введенный в подклассе разделом COMPATIBLE-WITH, должен быть
совместим* с классами, указанными в аналогичных разделах суперкласса(ов).
Унаследованное значение PERM1TTED-ROLE-CARD1NALITY-CONSTRAINT роли, унаследованной от
нескольких суперклассов, должно быть пересечением множеств значений, заданных для этой рати в суперклас
сах; любое ограничение множества допустимых кардинальных чисел роли, установленное в подклассе, должно
быть подмножеством унаследованных ограничений допустимых кардинальных чисел роли (или должно ему
равняться); специализированное ограничениедопустимых кардинальныхчисел
роли
должнобыть пересечением
множеств унаследованных значений и значений специфицированных в подклассе.
Унаследованное значение REQUIRED-ROLE-CARDINALITY-CONSTRAINT роли, унаследованной от
нескольких суперклассов, должно быть объединением множеств значений, заданных для роли в суперклассах,
пересеченным с унаследованными ограничениями допустимых кардинальных чисел роли: любое ограничение
множества обязательных кардинальных чисел роли, установленное в подклассе, должно быть подмножеством
унаследованных ограничений обязательных кардинальных чисел роли (или должно ему равняться); специали
зированное ограничение обязательных кардинальных чисел роли должно быть объединением унаследованных
значений и значений, специфицированных в подклассе, пересечением со специализированным ограничением
допустимых кардинальных чисел роли.
В спецификации подкласса может быть добавлено BIND-SUPPORT.
В спецификации подкласса может бьггь добавлено UNBIND-SUPPORT.
* Понятие совместимости рассмотрено в ГОСТ Р ИСО/МЭК 10165-1. 5.2.
13