Моделирование, которое представляет собой описание какого-либо процесса или явления на формальном языке, называется формальным моделированием. 24
Оно использует специализированные языки, такие как математические формулы, логические выражения, программные коды и другие формальные нотации. 2