Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism

Abstract

Background. It is proposed to develop agent-based network metacomputer systems and applications based on logical methods and related conceptual graphical models, which allows combining imperative and declarative methods when designing the functional architecture and software of a metacomputer. Formalized specifications for creating agent-based network applications based on conceptual and logical models of artificial intelligence are proposed. The term “metacomputer” is chosen to denote the network environment in which the action script is deployed. Another name is a cloudnetwork application, in principle it means the same thing, but it differs in the additional consideration of terminology from the field of modern network technologies in an explicit form. In connection with the growing importance of global computer networks in science and education, the problem of creating large-scale applications is relevant. A functional organization of metacomputer agent-based network distributed computing is proposed, which implements the main structures of distributed programming, where the network is actually considered as a computer with distributed program control based on the messagedriven computing paradigm, and not as a means of implementing the simple client-server or master-slave applications. The aim of the work is to increase the level of parallelism in data processing in metacomputer systems by organizing the pipeline movement of messages over the network. Materials and methods. Conceptual models, logical-algebraic operating models, logical Petri nets are used as the main methods. Results. Conceptual graphs of distributed algorithms and logical-algebraic operational expressions suitable for use as directly executable specifications are proposed, a method is developed for moving from conceptual graphs to executable specifications that define the functional architecture of a metacomputer. Simulation models for distributed algorithms have been developed. Conclusions. The practical implementation of the above concepts and models will increase the level of parallelism in the operation of agent-based virtual metacomputer systems due to the pipeline organization of message passing.

Keywords

• metacomputers
• cloud network applications
• virtual architectures of distributed computing systems
• formal models
• logical-algebraic operational expressions
• formalized specifications
• software agents
• logical network models