Формальная классификация моделей: основы и примеры