8.3.3 Рекомендации относительно наследованию через специализацию ГОСТ Р 57309-2016

В специализированном отношении понятие подтип наследует все связанные с ним аспекты и любые компонентные отношения из понятия супертипа.

Обозначение: Т4

Пояснение: физический объект подтипа имеет ту же природу, что и супертип его физического объекта и, следовательно, он имеет, по определению, по крайней мере, те же ограничения, как и его надтип. Поскольку подтип отличится от других подтипов, каждый подтип имеет, по крайней мере, одно дополнительное ограничение (по сравнению с надтипом), который является отличным от подтипов.

Пример: если физический объект «велосипед» является специализацией физического объекта «транспортные средства», «велосипед» будет иметь, по крайней мере, те же аспекты, что и объект «транспортные средства», например, аспект, который он может нести - «расчетная нагрузка».

Проверка: должны быть проведены выборочные проверки.

[из 8.3.3 Рекомендации относительно наследованию через специализацию ГОСТ Р 57309-2016]