ГОСТ Р ИСО/МЭК 10165-1-2001
Расширяемая атрибутивная группа —атрибутивная группа, к которой могут быть добавлены
атрибуты в результате специализации. Ятя расширяемых атрибутивных групп атрибуты, задаваемые
для каждого расширения, должны быть определены либо в том же самом условном пакете, что
и атрибутивная группа, либо в обязательном пакете.
Отдельные атрибуты, образующие атрибутивную группу, специфицируются в определении
класса управляемых объектов. Атрибутивная группа сама значений не имеет. Нал атрибутивными
группами допустимы только такие операции, для которых не требуется задание значения.
Допустимые операции над атрибутивной группой интерпретируются как указания на соответ
ствующие операции над каждым отдельным атрибутом, включенным в атрибутивную группу. Опе
рация применяется к атрибутам в произвольном порядке.
Класс управляемых объектов может иметь несколько атрибутивных групп. Один атрибут может
входить в несколько атрибутивных групп.
5.1.2.4 Поведение
Частью определения класса управляемых объектов является поведение.
Поведение может определять:
а) семантику атрибутов, операций и сообщений;
б) ответы на операции управления, осуществляемые над управляемым объектом;
в) обстоятельства, при которых могут быть переданы сообщения;
г) зависимости между значениями конкретных атрибутов, которые могут быть выражены
таким образом, чтобы учитывать возможное наличие или отсутствие условных пакетов;
д) влияние взаимосвязей на участвующие в них управляемые объекты;
е) ограничения согласованности на атрибуты;
ж) предусловия, идентифицирующие условия, при которых может быть принято, что операции
и сообщения должны иметь допустимый смысл;
и) постусловия, идентифицирующие результаты обработки операции управления или передачи
сообщения;
к) инварианты, которые остаются справедливыми в течение всей жизни управляемого объекта
и описывают условия, являющиеся истинными для операции управляемого объекта;
л) свойства синхронизации управляемого объекта.
В ГОСТ Р ИСО/МЭК 10165-4 определен набор шаблонов, которые могут быть использованы
для определения всех аспектов поведения управляемого объекта.
5.1.3 Спец иал изация и насл едование
Один класс управляемых обьектов специализируется из другого класса тех же объектов путем
определения первого как расширения второго. Такое расширение достигается определением новых
пакетов, которые могут включать в себя:
- новые операции управления;
- новые атрибуты;
- новые сообщения;
- новое поведение;
- расширения характеристик исходного класса управляемых объектов.
Способы, которыми могут быть расширены возможности данного класса управляемых объек
тов. подробно специфицированы в 5.2.2.
Класс управляемых объектов, который специализируется из управляемых объектов другого
класса, называется подклассом этого класса (его суперкласса). Один класс управляемых обьектов,
называемый высшим, спроектирован как самый старший суперкласс в иерархии классов. Высший
класс является нереализуемым классом управляемых объектов.
Подкласс наследует операции, атрибуты, сообщения, пакеты и поведение суперкласса. Насто
ящий стандарт допускает только строгое наследование характеристик, т. е. каждый экземпляр
подкласса совместим с суперклассом в соответствии с правилами, определенными в 5.2.2. Специа
лизация путем удаления каких-либо характеристик суперкласса не допускается.
Кратное наследование —возможность специализировать подкласс из нескольких суперклас
сов. Подкласс наследует операции, атрибуты, сообщения, пакеты и поведение от нескольких супер
классов.
Когда класс имеет кратное наследование одной и той же характеристики из нескольких
суперклассов, этот класс определяется так. как если бы эта характеристика наследовалась только от
одного суперкласса. Специализация не должна вносить противоречия в определение подкласса.
8