Formal and conceptual definitions of the hybrid model of distributed computings in networks
Aleksey Dubravin, Sergey A. Zinkin, Dmitry V. Pashchenko · 2015
This work deals with the issues of abstract and structural design of distributed network applications based on logic-algebraic approach and some of the methods of artificial intelligence. Formal methods being used allow you to develop distributed applications for data processing which correspond to a chosen paradigm. The paradigm means the concept being chosen for software solutions, for example, the principle of organization of communication between processes, the method of naming and synchronization of processes, the approach to the distribution of the objects and coordination of their functioning. In order to perform conformity of application with the paradigm selected by developer, at the initial stages of the project it is suggested to use conceptual models and logical models of artificial intelligence.