Пошук академічних текстів

Інформація × Реєстраційний номер 0421U102326, Кандидатська дисертація На здобуття Кандидат технічних наук Дата захисту 29-04-2021 Статус Запланована Назва роботи Розробка системи TermWare для аналізу та побудови програм на основі переписувальних правил. Здобувач Шевченко Руслан Сергійович, Керівник Дорошенко Анатолій Юхимович Опонент Тимашов Олександр Олександрович Опонент Глибовець Андрій Миколайович Опис Дисертація присвячена методам реалізації та застосування систем переписувальних правил для роботи з програмним кодом: аналізу, трансформації та генерації програм. Описана лінійка версій реалізації систем переписувальних правил TermWare. Парадигма переписувальних правил є одним з фундаментальних підходів до аналізу та опису програмних систем. Можливість її програмної реалізації відкриває шлях до скорочення відстані між абстрактним численням програм та прагматикою перетворення коду. У дисертаційній роботі описується формалізм для декларативного опису предметної області програмування розподілених програмних комплексів – термальні системи. Він дозволяє представляти функціональність програмних комплексів не тільки через перетворення термів, але й шляхом опису взаємодії термів із зовнішнім середовищем. Це середовище являє собою динамічну базу фактів у внутрішній логіці системи, наприклад, стан зовнішнього середовища в системі управління або перелік поточних бізнес-процесів у системі управління потоками робіт. Таким чином, замість приховування імперативного стилю програмування в побічних ефектах, в TermWare відбувається занурення імперативних операцій в логіку декларативної програми. Дата реєстрації 2021-05-28 Додано в НРАТ 2021-05-28 Закрити