ФОРМАЛИЗАЦИЯ И ВИЗУАЛИЗАЦИЯ
Процесс построения информационных моделей с помощью формальных языков называется форматизацией.
Одним из наиболее распространенных формальных языков является язык формул в математике, который позволяет описывать функциональные зависимости между величинами. Модели, построенные с использованием математических формул и понятий, назыаются математическими.
В процессе исследования формальных моделей часто производится их визуализация.
Для визуализации алгоритмов используют блок-схемы, пространственных соотношений между объектами - чертежи и т.д.
В настоящее время широкое распространение получили компьютерные интерактивные визуальные модели.