В специализированном отношении понятие подтип наследует все связанные с ним аспекты и любые компонентные отношения из понятия супертипа | |
Обозначение: Т4 | |
Пояснение: физический объект подтипа имеет ту же природу, что и супертип его физического объекта и, следовательно, он имеет, по определению, по крайней мере, те же ограничения, как и его надтип. Поскольку подтип отличится от других подтипов, каждый подтип имеет, по крайней мере, одно дополнительное ограничение (по сравнению с надтипом), который является отличным от подтипов | Пример: если физический объект «велосипед» является специализацией физического объекта «транспортные средства», «велосипед» будет иметь, по крайней мере, те же аспекты, что и объект «транспортные средства», например, аспект, который он может нести — «расчетная нагрузка» |
Проверка: должны быть проведены выборочные проверки | |
[из 8.3.3 Рекомендации относительно наследованию через специализацию ГОСТ Р 57309–2016]