subtype migration

миграция подтипа (термин относится к поведению конечного автомата с точки зрения конструкции подтип-супертип ssn)