Шевченко Р. С. Розробка системи TermWare для аналізу та побудови програм на основі переписувальних правил.

Дисертація присвячена методам реалізації та застосування систем переписувальних правил для роботи з програмним кодом: аналізу, трансформації та генерації програм. Описана лінійка версій реалізації систем переписувальних правил TermWare. Парадигма переписувальних правил є одним з фундаментальних підходів до аналізу та опису програмних систем. Можливість її програмної реалізації відкриває шлях до скорочення відстані між абстрактним численням програм та прагматикою перетворення коду. У дисертаційній роботі описується формалізм для декларативного опису предметної області програмування розподілених програмних комплексів – термальні системи. Він дозволяє представляти функціональність програмних комплексів не тільки через перетворення термів, але й шляхом опису взаємодії термів із зовнішнім середовищем. Це середовище являє собою динамічну базу фактів у внутрішній логіці системи, наприклад, стан зовнішнього середовища в системі управління або перелік поточних бізнес-процесів у системі управління потоками робіт. Таким чином, замість приховування імперативного стилю програмування в побічних ефектах, в TermWare відбувається занурення імперативних операцій в логіку декларативної програми.