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

Анотація

Під час експлуатації програмного забезпечення суттєвою проблемою є визначення переліку операцій, які необхідні для створення належних умов роботи загальносистемного, прикладного програмного забезпечення, а саме призначення операцій/проведення заходів з адміністрування програмного забезпечення і швидкого його відновлення після аварій та уражень/пошкоджень комп’ютерним вірусом. Розглянуто питання застосування логіко-математичного апарату щодо формалізації процесів обслуговуван ня, адміністрування та відновлення роботи програмного забезпечення під час експлуатації автоматизованих інформаційно-телекомунікаційних систем і комплексів. Показано, що дослідники під час розгляду проблем експлу атації програмного забезпечення в основному зупиняються на питаннях удосконалення обслуговування, супрово дження та реінженерії програмного забезпечення, зокрема й на описі послідовності виконання взаємопов’язаних процесів, методів і засобів обслуговування програмного забезпечення, питаннях експлуатації програмного забез печення у розрізі його надійності, потреби у методах і засобах ідентифікації дефектів проєктування, а також прогнозування кількості помилок на етапі експлуатації інформаційних систем тощо. Наведено логічну схему процесу обслуговування програмного забезпечення, яка відображає логіку розв’язання задач і, у своїй основі, пред ставляє сукупність логічних упорядкованих проєктних процедур у вигляді систем множин і відношень. Для формального представлення технологічного процесу обслуговування програмного забезпечення авто матизованих інформаційно-телекомунікаційних систем і комплексів використовується його декомпозиція. Проєктування технологічного процесу супроводження програмного забезпечення виражається через морфоло гічну, інформаційну та математичну моделі. Сформульовано відношення слідування, еквівалентності, суміс ності та взаємодії, які дозволяють установити та формалізувати взаємозв’язки між технологічними об’єктами, які беруть участь у процесі призначення (проєктування) технологічних операцій з адміністрування програмного забезпечення автоматизованих інформаційно-телекомунікаційних систем і створюють пе- редумови щодо розроблення формалізованих умов синтезу проєктних рішень. За допомогою математичного апарату на базі логіки предикатів наведено приклади різних проєктних рішень, які дозволяють здійснювати проєктування операцій з обслуговування програмного забезпечення засобами комп’ютерної техніки.