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

• Формализация.
• Визуализация.
• Планирование.
• Рендеринг.