Implementation of the interface for sending messages in agent-oriented cloud/grid systems based on formalized specifications

The models for logical controlling of global computational processes in computer networks with agent-oriented cloud metacomputing services based on collective data transferring were proposed in this article. This allows simplifying of the implementation of massive parallelism in large-scale applied distributed systems. Using of the formalism of asynchronous predicate networks was proposed to control the distributed processes logically. It allows carrying out abstract and structural synthesis of functional architecture of agent-oriented metacomputer with the implementation of the global collective and computing operations for a group of agents those are virtual nodes of metacomputer.