Разница между формализованной и компьютерной моделями заключается в их природе и процессе создания:
- Формализованная модель — это информационная модель, созданная с помощью формальных языков, например, с использованием формул, уравнений или неравенств 138. В такой модели фиксируются соотношения между начальными и конечными значениями свойств объектов, а также накладываются ограничения на допустимые значения этих свойств. 1
- Компьютерная модель — это модель, реализованная средствами программной среды. 8 Это созданный за счёт ресурсов компьютера виртуальный образ, который качественно и количественно отражает внутренние свойства и связи моделируемого объекта, иногда передающий и его внешние характеристики. 5
Таким образом, формализованная модель — это первый этап процесса моделирования, на котором с помощью формальных языков создается информационная модель, а компьютерная модель — это результат преобразования формализованной модели на языке, понятном компьютеру 138.