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