Какая модель является предметом формализации