ГОСТ Р ИСО/МЭК 10746-2-2000
Для каждой поведенческой совместимости, определенной с некоторым набором критериев
(см. 9.4), метод спецификации должен допускать определение уточняющего взаимоотношения. Если
шаблон X уточняет шаблон Y. то должна быть возможной замена объекта, реализованного из Y,
объектом, реализованным из X. внаборе сред, зависящем от выбранного определения поведенческой
совместимости. Уточняющие взаимоотношения не обязательно являются симметричными или тран
зитивными.
9.6 Трассировка —запись взаимодействий объекта от его начального состояния до некоторого
другого.
Трассировка объекта, таким образом, является конечной последовательностью взаимодейст
вий. Поведение однозначно определяет множество всех возможных трассировок, но не наоборот.
Трассировка не содержит записи внутренних действий объекта.
9.7 Тип (<Х>’а) —предикат, характеризующий совокупность <Х>’ов. <Х> имеет тип или
соответствует типу, если предикат выполняется для этого <Х>. Спецификация определяет, какие
используемые ею термины имеют типы, то есть яазяюте я <Х>’ами. В БМ-ОРО типы необходимы по
крайней мере для объектов, интерфейсов и действий.
Назначение типа - классифицировать категории, некоторые из которых могут быть интересны
для спецификатора (см. понятие класса в 9.8).
9.8 Класс (<Х>’ов) —совокупность всех <Х>’ов, удоатетворяюших типу (см. 9.7). Элементы
множества называются членами класса.
П р и м е ч а н и я
1 Класс может не иметь членов.
2 Изменяется ли размер множества со временем, зависит огопределения типа.
9.9 Подтип/супертип —тип А является подтипом типа В, а В является супертипом А, если
каждый <Х>, который удовлетворяет А. также удоазетворяет В.
Отношения подтипа и супертипа рефлексивны, транзнтивмы и антисимметричны.
9.10 Подкласс/суперкласс - класс А является подклассом другого класса В, а В является
суперклассом А только тогда, когда тип, связанный с А, является подтипом типа, связанного с В.
Пр и ме ч а н и е —Подкласс, по определению, является подмножеством любого из его суперклассов.
9.11 Шаблон <Х> —спецификация общих характеристик совокупности <Х>’ ов, достаточно
подробная для того, чтобы <Х> мог быть реализован с ее использованием. <Х> может быть чем-либо,
что имеет тип (см. 9.7).
Шаблон <Х> является абстракцией совокупности <Х>’ов.
Шаблон может специфицировать параметры, которые должны быть заданы на момент реали
зации.
Данное здесь определение япляется родовым; точная форма шаблона зависит от используемого
метода спецификации. Типы параметров (когда они применяются) также зависят от используемого
метода спецификации.
Шаблоны могут быть скомбинированы в соответствии с некоторым исчислением. Точная
форма комбинации шаблонов зависит от используемого языка спецификаций.
9.12 Сигнатура интерфейса — набор шаблонов действий, связанных со взаимодействиями ин
терфейса.
Объект может иметь много интерфейсов с одной и той же сигнатурой.
9.13 Реализация (шаблона <Х>) —<Х>, полученный из данного шаблона <Х> и другой необ
ходимой информации. Этот <Х> демонстрирует характеристики, специфицированные в шаблоне
<Х>. <Х> может быть чем-нибудь, что имеет тип (см. 9.7).
Данное здесь определение является родовым: как реализовать шаблон <Х> зависит от исполь
зуемого языка спецификаций. Реализация шаблона <Х> может включать в себя актуализацию
параметров, которая, в свою очередь, может включать в себя реализацию других шаблонов <Х> или
связывание существующих интерфейсов (см. 12.4).
II р и м с ч а н и я
I Реализация шаблона действия приводит к осуществлению действия. Фраза «реализация шаблона
действия» нс рекомендуется. Предпочтительнее использовать «осуществление действия*.
7