Formal and conceptual definitions of the hybrid model of distributed computings in networks

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...

Full description

Saved in:
Bibliographic Details
Published in2015 International Siberian Conference on Control and Communications (SIBCON) pp. 1 - 6
Main Authors Dubravin, Aleksey V., Zinkin, Sergey A., Paschenko, Dmitry V.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2015
Subjects
Computational modeling
distributed operator network
Linda
parallel
Parallel processing
Programming
Semantics
sequential operator scheme
Silicon
Software
Synchronization
virtual memory space
Online AccessGet full text

Cover

More Information
Summary: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.
DOI:10.1109/SIBCON.2015.7147047