ГОСТРИСО/МЭК10165-4-2001
емыепостуслооиямогутбытьтолькоусилены (должиыудовлетворятьсятежепостусловияи могут
удовлетворяться дополнительные), аустановленные или подразумеваемые инварианты остаются
неизменными.номогутбытьдо6авленыновые(см.ГОСТРИСО/МЭК101б5-1.3.2.2.6);
Примечан ие 2—При нскоторыхобстоятсльствахмогутбытьомрсдслены подклассы, которые не
1ребуютоиредслениядо11олн»1тельногоповедсниясвсрхтого.котороснаслсдуетсяотсуперю1асса(ов);
б) ATTRIBUTES.Впакетах.вюпочаемыхвопределениеподкласса.могутбытьспецифицнро-
ваны пакеты. Когда конструкция ATTRIBUTES в пакете идентифицирует атрибут, который
неоднократноопределенвклассеуправляемыхобъектов.прнменяютсяследующиеправила:
1)в реализованный управляемый объектдолжен быть включен единственный атрибут
этоготипа.
2)результнруюшийсписок-свойствестьлогическоеили( R )включенныхвподкласси
наследуемыхсписков>свойств.заисключениемсвойствРЕКМ1ТТЕ VALUES,для которого
реализуемоемножестводопустимыхзначенийявляетсяпересечениемвсехспецнфнкацийдо-
пустимыхз>1ачениЙдляэтоготмлаатрн6ута,иРЕ(?и1КЕ УАЬиЕЗ.длякоторогореализуе-
моемножествообязателышхзначеиийявляетсяпересечениемреализуемоюмножествадопу-
стимыхзиаченийсобъединением всехспепификапийобязательныхзначениЙдляэтоготипа
атрибута. ЕслидлясвойстваатрибутаЕКАиЬТУАЬи Ейл и INITIAL УАЬиЕвсоиокуп пости
определений заданы противоречивыезначения, говключаемыйвподкласспакетдолженраз-
ре ша
ТЬЭТОТКОI
1фл икт.
3) параметры, связанные с данным атрибутом, являются объединением всех парамет
ров. связанныхс шаблоном атрибута, ивсех параметров, связанныхс атрибутом во всехтех
пакетах, которыереализуются.
Если классуправляемыхобъектовпредназначендляреализации,тодолженбытьолределен,
покрайнеймере,одинатрибуткакчастьопределениякласса,так какнеобходимоидентифициро-
ватьатрибут.которыйможетбытьиспользовандляименэкземпляровуправляемыхобъектов,
ПримсчаниеЗ—Атрибуты, испол ьзуемыед.тянаименования,могугбытьвыбраны начислилюбых
атрибутов, которыеявляютсячастьюопределен иякласса. Вихчисло входятвсеатрибуты, наследуемыеот
суперклассовидобавлснныекклассуврезультатссисциализации;
в ) ATTRIBUTE (iR U PS-Для расширяемой атрибутивной группы множество ее членов в
экземпляреполклассаявляетсяобъедннениемвсехатрибутов.определешшхвшаблонеатрибутив-
ной группы идобавленных кэтой группевсуперклассе(ах) или вподклассе;
г)АСТ1 NS.Bonpe,^TeHnenoaK.TaccaMoryT6brrbB^rno4eMbueiicTBHfl;3TOMoryT6biTbaeflcTBHH
вдополиениекнаследуемымотсуперклассов,ил ионнмогутвключатьдополннтельныепараметры
длянаследуемыхдействий.Множествопараметров.связаиныхсданнымдействием.являетсяобъе-
динепием всех параметров, связанныхс шаблоном действия и с действием во всех тех пакетах,
которыереалнзуются;
д) NTIFICATI NS. Вопределение подкласса могут быть включены сообщения; ото могут
бытьсообщення вдополпение кнаеледуемымотсуперклассов ил иони могут включатьдопол Ин
тел ьныепараметрыдлянаследуемыхсообщеинй.Множествопараметров.связаинихсданнымсооб-
щеп нем.являетсяобъедимением всехпараметров, связанныхсшаблономсообщения иссообше-
ниемвовсехтехпакетах, которыереалнзуются.
Еслипакетвключенвопределениеклассауправляемыхобъектовнесколькораз.путемнасле-
дованияи(.или) неоднократны мвключениемвшаблоиклассауправляемы.хобъектов.торезульти-
руюшееопределение-условия.связанноеспакетом.являетсялогнческнмИЛИвсехопределеннй-
условий всовокупном множестве определений. Для этой цели пакеты, входящие вконструкции
CHARACTERIZE BY (обязательные пакеты), рассматриваются как входящие в конструкцию С
N ITI NAL РАС KAG ES сопределен немусловия PRESENT IF|TRUE|.
Характеристики в(обязателыюм илиусловном)пакетемогутзависетьотхарактеристикдру-
Iихусловп ыхпакетов, еслитолькосвязапныесэтими пакетамиусловия гарантируют, чтотребуе-
мые.характеристики будутприсутствоватьвовсехуправляемыхобъектах, вкоторыхприсутствует
первыйпакет.
8.3.3.2CHARACTERIZE ВY<метка-пакета|,<метка-пакета|4
Даннаяконструкция.еслионапрнсутствует.позволяетвключитьвопределеннеклассауправ-
ляемых объектов один или несколько обязательных пакетов поведения, атрибутов, операций и
II