Результатом этапа формализации