The formal description of the distributed simulation models on the basis of process algebra and structural implementation of program representation of models is considered. The structure of the distributed simulation model in which the program given models as a resource of representation of its states are selected is resulted; the set activities of manage the simulation model data is entered. Figs: 5. Refs: 10 titles.

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