Geodesic
Issues in automata network modeling of dataflow computing systems
Informacionnye tehnologii i vyčislitelnye sistemy, no. 1 (2015), pp. 3-9

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Mots-clés : object-attribute architecture
Keywords: model of computation, concurrent computing processes, simulation model, formal model, dataflow, Kahn process networks, finite state machine automata. 
@article{ITVS_2015_1_a0,
     author = {S. M. Salibekyan and P. B. Panfilov},
     title = {Issues in automata network modeling of dataflow computing systems},
     journal = {Informacionnye tehnologii i vy\v{c}islitelnye sistemy},
     pages = {3--9},
     publisher = {mathdoc},
     number = {1},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ITVS_2015_1_a0/}
}
TY  - JOUR
AU  - S. M. Salibekyan
AU  - P. B. Panfilov
TI  - Issues in automata network modeling of dataflow computing systems
JO  - Informacionnye tehnologii i vyčislitelnye sistemy
PY  - 2015
SP  - 3
EP  - 9
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ITVS_2015_1_a0/
LA  - ru
ID  - ITVS_2015_1_a0
ER  - 
%0 Journal Article
%A S. M. Salibekyan
%A P. B. Panfilov
%T Issues in automata network modeling of dataflow computing systems
%J Informacionnye tehnologii i vyčislitelnye sistemy
%D 2015
%P 3-9
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ITVS_2015_1_a0/
%G ru
%F ITVS_2015_1_a0
S. M. Salibekyan; P. B. Panfilov. Issues in automata network modeling of dataflow computing systems. Informacionnye tehnologii i vyčislitelnye sistemy, no. 1 (2015), pp. 3-9. http://geodesic.mathdoc.fr/item/ITVS_2015_1_a0/