Вопросы автоматно-сетевого моделирования вычислительных систем с управлением потоком данных
Basics of the developed formal model (an OA-automata network) are presented in article. The model is intended for the description and the analysis of computational processes in the systems and applications working in dataflow programming paradigm. In the foundation of the model are the object-attribute approach to the organization of dataflow computational process, the theory of finite state machines (automata theory) and the theory of Kahn process networks (KPN). The developed model allows to describe concurrent computations in the distributed computing system in all its details: simultaneous work of several computing devices; direct data exchange between computing devices and an exchange through the common or distributed random access memory; data transmission on communication links connecting computing devices; synchronization of parallel computations, etc. The developed framework will be used in simulation modeling for an assessment of the computer system parameters and detection of conditions for deadlock in the parallel computation.