ГОСТ Р ИСО/МЭК 10165-1-2001
Расширенный управляемый объект должен включать в себя все условные пакеты, определенные для класса совместимых управляемых объектов, для которых удовлетворены условия их наличия для расширенного управляемого объекта.
5.2.2.2 Условия пакетов
Во всех случаях, когда условие наличия условного пакета в классе совместимых управляемых объектов является истинным, должно быть удовлетворено и условие для того же самого условного пакета в расширенном управляемом объекте. Это правило допускает, чтобы условный пакет в классе совместимых управляемых объектов был обязательным в расширенном управляемом объекте.
5.2.2.3 Ограничения на значения атрибутов
Имеются ограничения на значения, которые могут принимать атрибуты, общие для расширенного управляемого объекта и класса совместимых управляемых объектов. Общее условие для каждого такого атрибута состоит в том, что множество требуемых значений, определенное в классе совместимых управляемых объектов, должно быть подмножеством множества значений, поддерживаемого расширенным управляемым объектом, которое, в свою очередь, должно быть подмножеством множества допустимых значений, определенного в классе совместимых управляемых объектов (с возможным равенством в обоих случаях). Таким образом, расширенный управляемый объект поддерживает все значения, обязательные для класса совместимых управляемых объектов, и не поддерживает значения, не допустимые для этого класса.
К нечитаемым атрибутам относятся только условия для множеств требуемых значений. С другой стороны, к атрибутам, защищенным от записи, относятся только условия для множеств допустимых значений.
Примечание — Совместимость не гарантирует, что начальные и умалчиваемые значения, определенные в классе совместимых управляемых объектов, будут использоваться расширенным управляемым объектом.
5.2.2.4 Ограничения на атрибутивные группы
Расширенная атрибутивная группа в расширенном управляемом объекте должна включать в себя все атрибуты, которые должны присутствовать в соответствии с определением той же самой атрибутивной группы в классе совместимых управляемых объектов и согласно условиям для пакетов, содержащих эти атрибуты.
5.2.2.5 Ограничения на наличие параметров действий и сообщений
Для параметров действий и сообщений должны применяться следующие условия.
а) Параметры действия
Для данного действия, общего как для класса совместимых управляемых объектов, так и для расширенного управляемого объекта:
- все параметры действия, определенные в классе совместимых управляемых объектов, должны поддерживаться расширенным управляемым объектом;
- факультативные параметры, которые не определены для класса совместимых управляемых объектов, должны поддерживаться расширенным управляемым объектом, если только определение действия в классе совместимых управляемых объектов допускает дополнительные факультативные параметры;
- параметры, которые требуются расширенным управляемым объектом для осуществления действия и которые не определены в классе совместимых управляемых объектов, должны поддерживаться, если только в классе расширенного управляемого объекта определены умолчания на случай их отсутствия;
- все ответные параметры, определенные в классе совместимых управляемых объектов, должны поддерживаться расширенным управляемым объектом;
- ответные параметры, которые не определены для класса совместимых управляемых объектов, должны поддерживаться расширенным управляемым объектом, если только определение ответа в классе совместимых управляемых объектов допускает дополнительные факультативные параметры.
б) Параметры сообщения
Для данного сообщения, общего как для класса совместимых управляемых объектов, так и для расширенного управляемого объекта:
- все параметры сообщения, определенные в классе совместимых управляемых объектов, должны поддерживаться расширенным управляемым объектом;
- параметры, которые не определены для класса совместимых управляемых объектов, должны поддерживаться расширенным управляемым объектом, если только определение сообщения в классе совместимых управляемых объектов допускает дополнительные параметры.
10