Формальная информационная модель — это модель, созданная на формальном языке (научном, профессиональном или специализированном). 23

Такие модели представляют собой точное и полное описание объекта, процесса или явления. 1 Они используют специализированные языки, такие как математические формулы, логические выражения, программные коды и другие формальные нотации. 1

Примеры формальных моделей: все виды формул, таблицы, графы, карты, схемы и т. д.. 13

Такие модели позволяют проводить точные вычисления и анализ, а также обеспечивать чёткое понимание объекта или процесса. 1