Формализация это-
замена объекта неформальным описанием
замена объекта формальным описанием
создание объекта