The article presents an overview of the means for modeling the transactional structure of the software for control and information processing systems. Literature sources are considered, reflecting the current trend related to the fact that at present transactional processing of information is becoming one of the most important aspects that determine the correctness of calculations and data integrity. It is noted that the transactional computing model implemented in the software determines whether this software will be in an integral state and maintain the required level of reliability of control and information processing systems. At the same time, it should be taken into account that the transactional structure has a certain scope, which is also reflected in this review.

The article provides an overview of approaches to the analysis of the transactional structure of software in systems for monitoring fault-tolerant objects. These objects, as a rule, are distributed and operate in real time. It is shown that computer systems for monitoring and controlling objects operating in real time play a very important role in ensuring their safety, so there is always a need for high-quality software. The aim of the work is to increase the efficiency of the analysis of the transactional reliability of software systems for information processing and monitoring by automating the simulation of the life cycle of the transactional structure of the software. Modeling the life cycle of a software transactional structure is primarily associated with the formalization of its processes and stages, as well as with the use of a methodology that allows describing the semantics of the processes and stages of the formation, implementation and maintenance of software. For visual modeling of the life cycle of the transactional structure of the software, the IDEF0 methodology is used, which allows you to build a functional model of the life cycle and describe the rules of this model, that is, the logical relationships between works.

No abstract