The formal description of the processes in distributed simulation. As elements of the description present activities, that show functional modules simulation environment, and the data that implement resource models. The process of management of local and global data models. Introduce the concept of the memory manager models as tools unify the management of distributed models to support the distributed simulation standard HLA. The proposed formal specification can be used to create advanced systems simulation of information systems.
distributed simulation model, information systems, process, activity, data