В данной работе представлен подход к применению инкрементальных модельных преобразований над семантическими моделями программ для выполнения предметно-ориентированных верификаций. Рассматриваются способы реализации преобразований над моделями, показывается способ их выполнения над семантическими моделями программ для проверки корректности последних относительно правил предметной области, диктующих ограничения на структуру программы или отношения между её частями.
Кореньков Ю.Д. (науч. рук. Дергачев А.М.) Итеративное преобразование семантических моделей программ // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/4180