ГОСТ Р ИСО/МЭК 10746-2-2000
2 Если <Х> является объектом, то он реализуется в своем начальном состоянии. Объект может
участвовать во взаимодействиях непосредственно после реализации.
3 Реализации разных шаблонов могут соответствовать одному и тому жетипу. Реализации одного и тою
же шаблона могут соответствовать разным типам.
9.14 Роль - идентификатор поведения, который может появляться как параметр в шаблоне
составного объекта и который связан с одним из компонентов объектов составного объекта.
Спецификация шаблона как композиции ролей позволяет объяснить процесс реализации как
связывание заданных компонентов результирующего составного объекта с соответствующими
ролями. Связь компонента с ролью может быть результатом актуализации параметров.
9.15 Создание (<Х>) —реализация X, которая получается в результате действий объектов в
модели. <Х> может быть чем-либо, что может быть реализовано, в частности, объектом и интер
фейсом.
Если <Х> яатяется интерфейсом, то он либо создается как часть создания данного объекта,
либо как дополнительный интерфейс к созданному объекту. В результате любой данный интерфейс
должен быть частью объекта.
9.16 Введение (<Х>) —реализация <Х>, которая получается не в результате действий объектов
в модели.
Примем а ния
1 <Х> может быть реализован либо созданием, либо введением, но не тем и другим одновременно.
2 Введение нс применимо к интерфейсам и действиям, так как они всегда поддерживаются объектами.
9.17 Удаление (<Х>) —действие, разрушающее реализованный <Х>. <Х> может быть чем-
либо, что может быть реализовано, в частности, объектом и интерфейсом.
Если <Х> является интерфейсом, то он может быть удален только объектом, с которым связан.
П р и м е ч а н и е —Удаление действия не имеет смысла: действие уже случилось.
9.18 Экземпляр (типа) — <Х>, который соответствует типу.
9.19 Тип шаблона (<Х>’ов) —предикат, определенный в шаблоне, который справедлив для всех
реализаций шаблона и выражает требования реализаций шаблона, которые должны быть выполне
ны.
Отношение подтип/супертип шаблона объектов не обязательно совпадает с поведенческой
совместимостью. Экземпляры типа шаблона не обязательно поведенчески совместимы с реализа
циями соответствующего шаблона. Они совпадают, если:
а) рассматривается транзитивное отношение поведенческой совместимости, и
б) подтипы шаблона поведенчески совместимы со своими супертипами шаблона.
П р и м е ч а н и я
1 Это понятие охватывает понятие замешаемостм.
2 Форма предиката, который выражает тип шаблона, зависит от используемого языка спецификаций.
2 «Экземпляры шаблона Т», по определению, являются «экземплярами типа шабтона. связанного с
шаблоном Т».
4 На рисунке 1покатаны взаимоотношения между некоторыми из понятий: тип шаблона, класс шабтона
и т. д. Набор экземпляров t содержит как набор реализаций I, так и набор всех реализаций подтипов t. Наборы
реализаций различных шаблонов всегда разделены.
9.20 Класс шаблонов (<Х>) —набор всех <Х>’ов, удовлетворяющих типу шаблона <Х>, то есть
набор <Х>’ов. которые являются экземплярами шаблона <Х>. <Х> может быть чем-либо, что имеет
тип (см. 9.7).
Каждый шаблон определяет единственный класс шаблона, так что можно ссылаться на
экземпляры шаблона как на экземпляры класса-шаблона.
Понятие класса используется для указания родовой классификации <Х>’ов. Класс шаблона
является более ограничивающим понятием, если рассматривать те члены класса шаблона, которые
реализуются из шаблона (или из его подтипов), то есть те <Х>, которые удовлетворяют типу
шаблона <Х>.
11р и м с ч а н и с —Задавая тип шаблона, можно сократить утверждение, что «класс шаблонов, связан
ный с шаблоном А, является подклассом класса шаблонов, связанного с шаблоном В»до «шаблон Аявляется
подклассом шаблона В» или «шаблон Аявляется подтипом шаблона В».
8