Automation of microservices creation for qualitative analysis of binary dynamic systems

Abstract

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.

Automation of distributed data management in applied microservices package for scientific computations

“…A set of BDS for automated testing in AMPDM was formed in the process of developing computing services for building Boolean models for a qualitative study of BDS and the laws of their management. For example, classical examples of gene regulatory networks [22] were used for searching the equilibrium states [23]. An example from [24] was used for studying the properties of reachability type [10].…”