Процесс построения моделей с помощью формальных языков