Результатом процесса формализации является предметная модель