Типы моделей в информатике: от абстракций до реализаций