МОДЕЛЬ СТРУКТУРНО-ТЕХНОЛОГІЧНИХ ВЗАЄМОЗВ’ЯЗКІВ ОПЕРАЦІЙ З АДМІНІСТРУВАННЯ ТА ВІДНОВЛЕННЯ РОБОТИПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Abstract

During the operation of the software, a significant problem is to determine the list of operations that are necessary to ensure proper operating conditions of system-wide, application software, namely the appointment of operations/measures for software administration and rapid recovery after accidents and damage/damage by computer virus. The article considers the application of the logical-mathematical apparatus for the formalization of maintenance, administration and restoration of software during the operation of automated information and telecommunications systems and complexes. It is shown that researchers when considering the problems of software operation mainly focus on improving the maintenance, maintenance and reengineering of software, in particular on the description of the sequence of interconnected processes, methods and tools of software maintenance, software operation in terms of its reliability, the need for methods and means of identifying design defects, as well as forecasting the number of errors during operation of information systems The paper presents a logical scheme of the software maintenance process, which reflects the logic of solving problems and, in its basis, represents a set of logically ordered design procedures in the form of systems of sets and relations. For the formal presentation of the technological process of software maintenance of automated information and telecommunication systems and complexes, its decomposition is used. The design of the technological process of software support is expressed through morphological, informational and mathematical models. The paper formulates the relationship of following, equivalence, compatibility and interaction, which allow to establish and formalize the relationship between technological objects involved in the process of appointment (design) of technological operations for the administration of software for automated information and telecommunications systems and create prerequisites for development of formalized conditions for the synthesis of design solutions. With the help of a mathematical apparatus based on the logic of predicates, examples of various design solutions are given, which allow to design software maintenance operations by means of computer equipment