Добришин, ЮрийЮрийДобришин0000-0002-7435-3533Іларіонов, ОлегОлегІларіонов0000-0002-4864-904XСорока, ПетроПетроСорока2026-03-172026-03-172021-12-29Добришин, Ю., Іларіонов, О., Сорока, П. (2021). THE MODEL OF STRUCTURAL AND TECHNOLOGICAL INTERRELATIONSHIPS OF SOFTWARE ADMINISTRATION AND RECOVERY OPERATIONS. Information systems and technologies security, 1(5). https://doi.org/10.17721/ISTS.2021.1.3-810.17721/ISTS.2021.1.3-8https://ir.library.knu.ua/handle/15071834/12608During 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 opera tions/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, admin istration 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 tel ecommunication 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 rela tionship of following, equivalence, compatibility and interaction, which allow to establish and formalize the relation ship between technological objects involved in the process of appointment (design) of technological operations for the administration of software for automated information and telecommunications sys tems 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.Під час експлуатації програмного забезпечення суттєвою проблемою є визначення переліку операцій, які необхідні для створення належних умов роботи загальносистемного, прикладного програмного забезпечення, а саме призначення операцій/проведення заходів з адміністрування програмного забезпечення і швидкого його відновлення після аварій та уражень/пошкоджень комп’ютерним вірусом. Розглянуто питання застосування логіко-математичного апарату щодо формалізації процесів обслуговуван ня, адміністрування та відновлення роботи програмного забезпечення під час експлуатації автоматизованих інформаційно-телекомунікаційних систем і комплексів. Показано, що дослідники під час розгляду проблем експлу атації програмного забезпечення в основному зупиняються на питаннях удосконалення обслуговування, супрово дження та реінженерії програмного забезпечення, зокрема й на описі послідовності виконання взаємопов’язаних процесів, методів і засобів обслуговування програмного забезпечення, питаннях експлуатації програмного забез печення у розрізі його надійності, потреби у методах і засобах ідентифікації дефектів проєктування, а також прогнозування кількості помилок на етапі експлуатації інформаційних систем тощо. Наведено логічну схему процесу обслуговування програмного забезпечення, яка відображає логіку розв’язання задач і, у своїй основі, пред ставляє сукупність логічних упорядкованих проєктних процедур у вигляді систем множин і відношень. Для формального представлення технологічного процесу обслуговування програмного забезпечення авто матизованих інформаційно-телекомунікаційних систем і комплексів використовується його декомпозиція. Проєктування технологічного процесу супроводження програмного забезпечення виражається через морфоло гічну, інформаційну та математичну моделі. Сформульовано відношення слідування, еквівалентності, суміс ності та взаємодії, які дозволяють установити та формалізувати взаємозв’язки між технологічними об’єктами, які беруть участь у процесі призначення (проєктування) технологічних операцій з адміністрування програмного забезпечення автоматизованих інформаційно-телекомунікаційних систем і створюють пе- редумови щодо розроблення формалізованих умов синтезу проєктних рішень. За допомогою математичного апарату на базі логіки предикатів наведено приклади різних проєктних рішень, які дозволяють здійснювати проєктування операцій з обслуговування програмного забезпечення засобами комп’ютерної техніки.uksoftware reengineeringsoftware maintenance automationdecomposition of the technological processреінженерія ПЗавтоматизація обслуговування ПЗдекомпозиція технологічного процесуСтаття