Информационные модели представляют собой некоторые процессы, состоящие из сменяющих друг друга - при прогоне соответствующей компьютерной программы - совокупностей информации, характеризующих существенные свойства и состояния объекта, а также его взаимосвязи с внешним миром. Формализованные информационные модели - это модели, описания которых до составления программы переводятся на формализованный язык. Без них, так, «вручную», просто невозможно, в реальном масштабе времени или же в замедленном или ускоренном темпе, - осуществлять процесс имитации поведения объекта. Этот метод можно квалифицировать как автоматизированное идеальное моделирование. Автоматизация достигается благодаря использованию компьютера и, соответственно формализованных языков. В настоящее время обозначились и новые философско-научные вопросы, связанные с использованием рассматриваемого метода. Среди них вопрос о «познавательной непрозрачности». Другая трудность связана с тем, что синтаксические особенности используемых формализованных яз