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