ГОСТ Р ИСО 10165.7-2003; Страница 17

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р ИСО 10165.6-2003 Информационная технология. взаимосвязь открытых систем. Структура информации административного управления. Требования и руководство по формам заявки о соответствии реализации, относящейся к административному управлению ВОС ГОСТ Р ИСО 10166-1-2001 Информационная технология. Текстовые и учрежденческие системы. Сохранение и получение документов (спд). Часть 1 Определение абстрактных услуг и процедур ГОСТ Р ИСО 10166-2-2001 Информационная технология. Текстовые и учрежденческие системы. Сохранение и получение документов (спд). Часть 2 Спецификация протокола

Страница 17

ГОСТ Р ИСО/МЭК 10165-7-2003

спецификатор-роли - >

ROLE имя-роли

[COMPATIBLE-WITH <метка-класса>]

[PERMITTED-ROLE-CARDINALITY- CONSTRAINT указание-типа] [REQUIRED-ROLE-CARDINALITY-CONSTRAINT указание-типа]

[BIND-SUPPORT [имя-операции]]

[UNBIND-SUPPORT [имя-операции]]

[PERMITTED-RELATIONSHIP-CARDINALITY-CONSTRAINT указание-типа]

[REGISTERED AS идентификатор-объекта]

имя-роли - > <идентификатор> имя-операции - > <идентификатор> имя-сообщения - > <идентификатор>

А.1.3 Вспомогательные определения

А.1.3.1 DERIVED FROM <метка-класса-взаимосвязей> [ , <метка-класса-взаимосвязей> ] ¹

Эта конструкция должна использоваться для спецификации суперкласса(ов), от которого(ых) класс управляемых взаимосвязей наследует свои характеристики, включая те, которые, в свою очередь, были унаследованы от другого(их) класса(ов) управляемых взаимосвязей. Класс управляемых взаимосвязей является специализацией унаследованных характеристик и тех, которые специфицированы для уравновешивания заполненного шаблона; специализация такова, что подкласс согласован со своим(и) суперклассом(ами). Если данная конструкция отсутствует, то класс управляемых взаимосвязей не является специализацией другого(их) класса(ов) управляемых взаимосвязей.

Спецификация характеристик, которые наследуются от других классов управляемых взаимосвязей, не должна повторяться в спецификации подкласса, если только не используется один из описанных в ГОСТ Р ИСО/МЭК 10165-4 методов для расширения унаследованной от суперкласса спецификации.

Следующие правила обеспечивают согласованность спецификаций подклассов управляемых взаимосвязей.

а) SUPPORTS: специализированные операции административного управления взаимосвязью должны быть объединением операций административного управления взаимосвязями суперклассов и операций, специализированных в подклассе; наследование и специализация не должны вносить в подкласс дополнительные сообщения административного управления взаимосвязью.

б) QUALIFIED BY: множества допустимых и обязательных значений диапазонов атрибутов не должны изменяться в подклассе.

в) BEHAVIOUR: поведение подкласса должно быть:

- дизъюнктивной комбинацией предусловий, унаследованных от суперкласса(ов) и специфицированных в подклассе;

- конъюнктивной комбинацией постусловий, унаследованных от суперкласса(ов) и специфицированных в подклассе;

- конъюнктивной комбинацией инвариантов, унаследованных от суперкласса(ов) и специфицированных в подклассе; если инварианты являются взаимопротиворечивыми, то подкласс не может быть специфицирован.

г) ROLE

В определение подкласса могут быть включены дополнительные спецификации роли.

Класс управляемых объектов, введенный в подклассе разделом COMPATIBLE-WITH, должен быть совместим¹ с классами, указанными в аналогичных разделах суперкласса(ов).

Унаследованное значение PERMITTED-ROLE-CARDINALITY-CoNsTrAINT роли, унаследованной от нескольких суперклассов, должно быть пересечением множеств значений, заданных для этой роли в суперклассах; любое ограничение множества допустимых кардинальных чисел роли, установленное в подклассе, должно быть подмножеством унаследованных ограничений допустимых кардинальных чисел роли (или должно ему равняться); специализированное ограничение допустимых кардинальных чисел роли должно быть пересечением множеств унаследованных значений и значений специфицированных в подклассе.

Унаследованное значение REQUIRED-ROLE-CARDINALITY-CONSTRAINT роли, унаследованной от нескольких суперклассов, должно быть объединением множеств значений, заданных для роли в суперклассах, пересеченным с унаследованными ограничениями допустимых кардинальных чисел роли; любое ограничение множества обязательных кардинальных чисел роли, установленное в подклассе, должно быть подмножеством унаследованных ограничений обязательных кардинальных чисел роли (или должно ему равняться); специализированное ограничение обязательных кардинальных чисел роли должно быть объединением унаследованных значений и значений, специфицированных в подклассе, пересечением со специализированным ограничением допустимых кардинальных чисел роли.

В спецификации подкласса может быть добавлено BIND-SUPPORT.

В спецификации подкласса может быть добавлено UNBIND-SUPPORT.

Понятие совместимости рассмотрено в ГОСТ Р ИСО/МЭК 10165-1, 5.2.