Registration Number
0826U003747, PhD dissertation
Status
Доктор філософії
Date
14-08-2026
popup.evolution
.
Title
Information technology for specification development in IT project re-engineering
Author
Oleh B. Kernytskyy,
popup.head Vasyl M. Teslyuk
popup.head Yurii V. Opotiak
popup.opponent Yelyzaveta H. Hnatchuk
popup.opponent Bohdan V. Bulakh
popup.review Andrii I. Pukach
popup.review Maksym M. Seniv
popup.rada
Lviv Polytechnic National University
Description
Дисертаційна робота присвячена розробленню інформаційної технології підвищення ефективності розроблення та валідації специфікацій вимог ІТ-проєктів у процесі реінжинірингу архаїчних ІТ-систем. Актуальність дослідження зумовлена зростанням кількості задач модернізації застарілих ІТ-систем, для яких характерні неповна або застаріла документація, складна логіка бізнес-процесів, висока взаємозалежність компонентів та ризики втрати функціональної відповідності під час міграції. У першому розділі проведено аналіз сучасних методів, моделей та засобів розроблення специфікацій вимог ІТ-проєктів, методи реінжинірингу програмних систем, типи ІТ-проєктів реінжинірингу та практики формування специфікацій у задачах модернізації архаїчних ІТ-систем. Виявлено основні обмеження існуючих підходів, зокрема залежність від неповної документації та експертних знань, недостатню формальність текстових описів, складність побудови повних моделей великих систем і високу обчислювальну складність їх формальної перевірки. Обґрунтовано необхідність інтегрованого підходу, що поєднує поведінковий аналіз, формалізацію бізнес-процесів і масштабовану статистичну валідацію специфікацій. У другому розділі розроблено моделі та методи інформаційної технології розроблення специфікацій при реінжинірингу архаїчних ІТ-систем. Сформовано метод декомпозиції та аналізу архаїчних ІТ-систем, метод синтезу вимог і специфікацій на основі реверс-інжинірингу та моделі «чорного ящика», метод формалізації бізнес-процесів на основі мереж Петрі та метод статистичної валідації специфікацій. Отримані методичні результати забезпечують структуроване відновлення логіки функціонування системи, синтез вимог за умов неповної документації, формальне подання паралельних, альтернативних і відновлювальних сценаріїв, а також масштабовану перевірку моделей без повного перебору простору станів. У третьому розділі сформовано алгоритмічне забезпечення інформаційної технології. Побудовано алгоритм методу реінжинірингу ІТ-проєктів, алгоритм прийняття рішень і документування розбіжностей, алгоритм формалізації процесів та побудови моделей, а також алгоритм статистичної валідації специфікацій. Це створило алгоритмічну основу перетворення результатів реверс-інжинірингу у формалізовані специфікації, підтримку ітеративного паралельного тестування та забезпечення контрольованого рівня достовірності результатів валідації. У четвертому розділі розроблено структуру інформаційної технології розроблення специфікацій при реінжинірингу архаїчних ІТ-систем, описано особливості розробленого програмного забезпечення, проведено постановку експериментального дослідження та наведено опис експериментальних моделей і процесів. Подано результати статистичної валідації моделей і порівняльний аналіз ефективності запропонованого підходу. Показано, що розроблена інформаційна технологія інтегрує підсистеми реверс-інжинірингу та поведінкового аналізу, формалізації процесів і статистичної валідації специфікацій. За результатами експериментів встановлено, що статистична валідація забезпечує стабілізацію характеристик моделі без повного перебору простору станів і дає змогу зменшити обчислювальні витрати перевірки у 1,5–4 рази порівняно з традиційною формальною верифікацією за збереження необхідного рівня достовірності. У результаті дослідження розроблено інформаційну технологію розроблення специфікацій при реінжинірингу архаїчних ІТ-систем, що охоплює метод декомпозиції та аналізу архаїчних ІТ-систем, метод синтезу вимог на основі реверс-інжинірингу та моделі «чорного ящика», метод формалізації бізнес-процесів на основі мереж Петрі та метод статистичної валідації специфікацій. Крім того, сформовано алгоритми реалізації цих методів, структуру інформаційної технології, програмні засоби автоматизації побудови моделей і статистичної перевірки специфікацій, а також проведено експериментальне дослідження, результати якого підтвердили ефективність розробленого підходу для задач реінжинірингу ІТ-систем. Практичне значення одержаних результатів полягає у побудові структури інформаційної технології розроблення та валідації специфікацій ІТ-проєктів, розробленні алгоритмів і програмних засобів її реалізації, а також в експериментальному підтвердженні ефективності запропонованого підходу на реальних прикладах реінжинірингу ІТ-систем. Застосування розробленої технології дає змогу підвищити якість специфікацій, зменшити ризик функціональних невідповідностей і скоротити трудомісткість етапів аналізу та валідації.
Registration Date
2026-07-17
popup.nrat_date
2026-07-17 / 2026-08-18
