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