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