Service-Oriented Technology for Development and Application of Decentralized Multiagent Solvers for Applied Problems

Bychkov, Igor V.; Oparin, Gennady A.; Bogdanova, Vera; Pashinin, Anton A.

doi:10.14489/vkit.2018.12.pp.036-044

Cited by 4 publications

(6 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Instead the description of microservices choreography in programming language, in contrast to existing works, our approach uses the discrete event model of the functioning of MAS agents, which delegates the right to launch microservices. This model was developed by authors in [10]. The MSCDT subsystem provides automation of the agents configuration.…”

Section: Related Workmentioning

confidence: 99%

“…The decentralized management of the interaction of microservices is carried out by a self-organizing multiagent system, agents of which are delegated the rights to launch microservices. To automate the creation, deployment, and testing of microservices, the previously developed HPCSOMAS toolkits [9,10] is extended by a new specialized subsystem MSCDT (Micro-Services Creating, Deployment and Testing), the architecture and functionality of which are considered in this work. The focus is on the deployment of microservices.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Automation of microservices creation for qualitative analysis of binary dynamic systems

Oparin¹,

Bogdanova²,

Pashinin³

2019

The International Workshop on Information, Computation, and Control Systems for Distributed Environments 2019

View full text Add to dashboard Cite

The main objective of qualitative research is to analyze the behavior of the trajectories of a dynamic system to verify whether it corresponds to the set of constraints characterizing the property. We use an approach to study binary dynamic systems on a finite time interval based on the author's method of Boolean constraints. Based on this method, the Boolean model of the properties of a binary dynamic system is written in the language of Boolean equations or Boolean formulas with quantifiers. Thus, the verification of various dynamical properties is reduced to solving the problems of Boolean constraints satisfiability or the validity of a quantified Boolean formula using efficient SAT or TQBF solvers. The high computational complexity of these problems requires the development of software and tools for their parallel and distributed solving and ensuring transparent end-user access to highperformance computing environments based on a service-oriented approach. This paper represents the architecture and functionality of a new instrumental system that automates the creation of a distributed application for solving the considered class of problems based on the microservice approach and multi-agent technology.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Automation of microservices creation for qualitative analysis of binary dynamic systems

Oparin¹,

Bogdanova²,

Pashinin³

2019

The International Workshop on Information, Computation, and Control Systems for Distributed Environments 2019

View full text Add to dashboard Cite

show abstract

“…where P, D, M, N, O, C are finite sets of, correspondently, parameters, parameter values, modules, CF nodes, operations, and processors. The KBM has an additional set of SD objects and relationships between them in comparison with the KBE model developed by authors in [23]. The relations…”

Section: Conceptual Model Of Subject Domainmentioning

confidence: 99%

“…Let L = {l1, l2, …, lq}, L  P is the set of q logic parameters for controlling the launch of modules from M. The relation Pr  LP will be called the conditional control structure of the KBM (similar to [23]). The semantics of this relationship is as follows: if the pair (l * , m * ) (l *  L, m *  M) belongs to Pr, then the launch of the module m * can be done if the value of the parameter l * is TRUE.…”

Section: Conditional Control Structurementioning

confidence: 99%

“…The behavior of the DSA agent is described by the discrete-event finite-state model FFSMwVW (Flowed Finite State Machine with Variables and Works), which is a further development of the model represented in [23,24]. The modified model provides processing of the heterogeneous tasks flow in multivariate computations, and has the following form:…”

Section: Dsa Agent Behavior Modelmentioning

confidence: 99%

See 1 more Smart Citation

Intellectual technology for computation control in the package of applied microservices

Bychkov¹,

Oparin²,

Bogdanova³

et al. 2019

The International Workshop on Information, Computation, and Control Systems for Distributed Environments 2019

View full text Add to dashboard Cite

The complexity of exhaustive problems with the properties of large-scale, openness, unpredictable dynamics, and component mobility determines the relevance of developing microservice-oriented software for their solving in a hybrid computational environment. We propose an approach for adapting to this environment both the existing software and new ones developed using new automated technology for creating an applied microservice package and organizing control of computations in it. The distributed computational model is represented by a set of small, loosely coupled, replaceable, interacting with the use of lightweight communication mechanisms autonomous microservices that implement the functions of the program package modules. The decentralized management of the microservices interaction is carried out by a self-organizing multi-agent system, agents of which are delegated the rights to launch microservices. The paper discusses the models, methods, and software platform that form the basis of the proposed technology. We demonstrate the application of the applied microservice package, based on this technology, for solving the problems of qualitative analysis of binary dynamic system using the author's Boolean constraints method.

show abstract

Microservice-oriented Approach to Automation of Distributed Scientific Computations

Oparin

Bogdanova

Pashinin

et al. 2019

2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)

View full text Add to dashboard Cite

Service-Oriented Technology for Development and Application of Decentralized Multiagent Solvers for Applied Problems

Cited by 4 publications

References 0 publications

Automation of microservices creation for qualitative analysis of binary dynamic systems

Automation of microservices creation for qualitative analysis of binary dynamic systems

Intellectual technology for computation control in the package of applied microservices

Microservice-oriented Approach to Automation of Distributed Scientific Computations

Contact Info

Product

Resources

About