Search academic texts

Information × Registration Number 0421U102326, Candidate dissertation Status Кандидат технічних наук Date 29-04-2021 popup.evolution o Title Development of TermWare system for source code analysis and transformations, based on term rewriting. Author Shevchenko Ruslan Sergiyovich, popup.head Doroshenko Anatoliii Yu. popup.opponent Tymashov Oleksandr O. popup.opponent Glybovets Andriy M. Description Дисертація присвячена методам реалізації та застосування систем переписувальних правил для роботи з програмним кодом: аналізу, трансформації та генерації програм. Описана лінійка версій реалізації систем переписувальних правил TermWare. Парадигма переписувальних правил є одним з фундаментальних підходів до аналізу та опису програмних систем. Можливість її програмної реалізації відкриває шлях до скорочення відстані між абстрактним численням програм та прагматикою перетворення коду. У дисертаційній роботі описується формалізм для декларативного опису предметної області програмування розподілених програмних комплексів – термальні системи. Він дозволяє представляти функціональність програмних комплексів не тільки через перетворення термів, але й шляхом опису взаємодії термів із зовнішнім середовищем. Це середовище являє собою динамічну базу фактів у внутрішній логіці системи, наприклад, стан зовнішнього середовища в системі управління або перелік поточних бізнес-процесів у системі управління потоками робіт. Таким чином, замість приховування імперативного стилю програмування в побічних ефектах, в TermWare відбувається занурення імперативних операцій в логіку декларативної програми. Registration Date 2021-05-28 popup.nrat_date 2021-05-28 Close