Некоторые методы формализации задач, которые используются при компьютерном моделировании:

• Математический язык. 15 Формальная модель фиксирует связи между исходными данными и конечным результатом с помощью разных формул, а также наложения ограничений на допустимые значения параметров. 1
• Структурно-функциональное моделирование. 4 Моделями являются схемы (блок-схемы), графики, чертежи, диаграммы, таблицы, рисунки, дополненные специальными правилами их объединения и преобразования. 4
• Имитационное (программное) моделирование. 4 Логико-математическая модель исследуемого объекта представляет собой алгоритм функционирования объекта, реализованный в виде программного комплекса для компьютера. 4

Выбор метода формализации зависит от конкретной задачи и целей моделирования.