ГОСТ Р ИСО/МЭК 10746-2-2000
Швбпсш
В
е
шпиэицин
и гизвмпгнры
Рисунок I —B’jaiiMoo’i
ношения
между шаблонами, реализациями и экземплярами
9.21 Производный класс/базовый класс - если шаблон А является возрастающей модифика
цией шаблона В. то класс шаблонов СЛ экземпляров А является производным классом класса
шаблонов СВ экземпляров В, а СВ является базовым классом СА.
Критерий того, чтобы рассматривать изменения в качестве возрастающей модификации, зави
сит от метрик и соглашений, не входящих в область действия настоящего стандарта. Если критерии
позволяют, то производный класс может иметь несколько базовых классов.
Возрастающая модификация связанных шаблонов должна гарантировать, что ссылка на самого
себя или рекурсия в шаблоне базового класса становится ссылкой на самого себя или рекурсией в
шаблоне производного класса.
Возрастающая модификация может, в общем случае, включать в себя добавление или измене
ние свойств базового шаблона для получения производного шаблона.
Классы могут быть упорядочены в иерархию наследования в соответствии с соотношениями
производный класс/базовый класс. Это является интерпретацией наследований в базовой модели
ОРО. Если классы могут иметь несколько базовых классов, то говорят, что наследование является
кратным. Если критерии запрещают подавление свойств базового класса, то говорят, что наследо
вание является строгим.
Один класс может быть подклассом другого класса, не будучи производным классом, и быть
производным классом, не будучи подклассом. Следовательно, иерархия наследования (когда дуги
обозначают отношение производного класса) и иерархия типов (когда дуги обозначают отношения
подтипов или подклассов) являются логически различными, хотя могут совпадать полностью или
частично.
9.22 Инвариант - предикат, задающий требования, которые должны быть справедливы на
протяжении всего времени жизни множества объектов.
9.23 Предусловие —предикат, задающий требования, которые должны быть справедливы для
того, чтобы действие осуществилось.
9.24 Постусловие —предикат, задающий требования, которые должны быть справедливы не
посредственно после осуществления действия.
10 Организационные понятия
10.1Группа <Х> —множество объектов с конкретным характеризующим отношением <Х>.
Отношение <Х> характеризует либо структурное взаимоотношение между объектами, либо ожидае
мое общее поведение объектов.
9