Следователями-криминалистами при систематическом анализе результатов проведенных следственных действий выделяются характерные закономерности совершения преступлений, подлежащие изучению и обобщению. На основе полученной информации формируются необходимые к использованию криминалистические средства, наиболее эффективные тактические приемы проведения конкретного следственного действия, определяется последовательность их применения с учетом возможного развития криминалистической ситуации, в которой это действие будет проводиться, т.е. осуществляются криминалистическое прогнозирование и моделирование.

В настоящей работе под понятием «модель» мы будем понимать абстрактное представление реальности в цифровой форме, предназначенное для рассмотрения определенных аспектов этой реальности и позволяющее получить ответы на формируемые запросы.

Работа криминалистических информационно-аналитических систем реализуется на определенных алгоритмах и представляет собой совокупность взаимосвязанных математических и формально-логических выражений. При этом получаемые решения следователю будут представляться в виде определенных зависимостей и совпадений, что позволит использовать полученные результаты для анализа как сущности преступного события, так и совокупности общих черт, например криминалистической модели преступника, жертвы, свидетеля и позволит осуществлять эффективную работу с большими объемами данных, которые в ручном режиме обработать затруднительно или вовсе невозможно.

Создание информационно-аналитических моделей по видам преступлений — это современный способ автоматизировать и упростить аналитическую работу сотрудников органов предварительного расследования. Следует отметить, что исследованию данного вопроса уже достаточно длительное время уделяется внимание таких ученых, как А.К. Баранов, В.Б. Вехов, С.И. Цветков, Л.А. Соя-Серко, В.С. Дробатухин, В.И. Шаров и мн. др.

По мнению Л.А. Соя-Серко, «программирование, являющееся средством доведения методических знаний до следователя, должно способствовать тому, чтобы в тех случаях, когда есть готовые оптимальные решения, следователь не занимался изобретением уже изобретенного, а брал и использовал уже готовое».