Языки высокого уровня (процедурные), такие как ФОРТРАН-IV , ПЛ/1 и др., недостаточно удобны для представления имитационных моделей. В них отсутствуют средства для лаконичного описания многих операции, фигурирующих в алгоритмах имитационного моделирования. Поэтому был разработан ряд языков, специально предназначенных для решения указанных задач. Языки моделирования обладают свойствами, облегчающими:

Применение языков моделирования уменьшает затраты времени на отладку и кодирование моделей в 4-10 раз.

Для классификации языков моделирования необходимо ввести понятия активности и процесса.

Работа, выполняемая ВС, состоит из совокупности активностей. Активность является наименьшей единицей работы и рассматривается как единый дискретный шаг. Активности инициируются и завершаются в результате совершения событий. Логически связанный набор активностей образует процесс. Его можно рассматривать, как объект, вмещающий и инициирующий активности.

Процесс может выступать в роли активности или подпроцесса в процессе более высокого уровня.

Например, обращение к диску может рассматриваться как процесс» состоящий из активности «установка головки», "поиск данных", "передача данных". Выполнение программы является процессом, состоящим из активностей "вычисление" и "обмен с диском". Таким образом, различие между активностями и процессами зависит от точки зрения на систему.

Наиболее известными языками моделирования являются ASPOL , GASP , SOL , Симскрипт, Симула, GPSS . Программные средства языков ориентированы на описание активностей, событий или процессов.

Примером языка, ориентированного на активности, является CSL : программа организуется в виде набора описания активностей. Описание активности состоит из набора операций, инициирующих активность и представляющих действие активности.