Разработка визуального интерпретатора моделей в системе QReal Поляков Владимир СПбГУ, Математико-Механический факультет Научный руководитель: ст.пр. Т.А. Брыксин Область применения Модельно-ориентированная разработка ПО Предметно-ориентированное моделирование Создание специального языка Автоматическая генерация кода Статические визуальные языки (структура) Поведенческие визуальные языки (взаимодействие частей и прочая динамика поведения) Общая задача курсовой Интерпретирование поведенческих диаграмм Интересно применение этого подхода в metaCase-средстве Быстрое создание интерпретаторов и отладчиков для пользовательских визуальных языков Визуальная отладка при помощи отладчика целевого языка генерации Визуальный интерпретатор Визуальный интерпретатор: добавить возможность интерпретирования визуальных языков Сложность: интерпретация метамодели, о которой сама система ничего не знает Итог: придумать удобный способ пользовательского задания модели интерпретирования Визуальный отладчик Визуальный отладчик: визуальная отладка сгенерированного кода подключением к отладчику целевого языка генерации Поддержка многих целевых языков и отладчиков Удобный интерфейс для работы Особенности реализации Разработка ведётся применительно к metaCASEсредству QReal Визуальный интерпретатор Отдельный модуль, использующий общедоступное API Работа с отладчиком целевого языка генерации Отдельный модуль, позволяющий использовать отладочные команды Возвращение результата и дополнительной информации обратно в систему Особенности реализации Создание примеров и дальнейшее их обобщение и повышение уровня абстракции Разработка интерфейса, подходящего для диаграмм произвольного типа Создание инфраструктуры визуального интерпретатора/отладчика в системе QReal Полученные результаты Редактор блок-схем Пошаговая интерпретация Автоматическая проверка корректности Подсветка текущего элемента Язык с генерацией кода и визуальной отладкой в gdb Интерфейс для визуального интерпретатора Полученные результаты Редактор алгоритмов работы роботов Lego Пошаговая интерпретация Посылка команд роботу через bluetooth прямо во время отладки Инфраструктура визуального отладчика в системе QReal Заключение Разработана инфраструктура визуального отладчика Создан каркас модуля для работы с отладчиком целевого языка генерации Реализованы несколько частных примеров визуальных отладчиков, которые позволяют впоследствии их распространить и перейти на новый уровень абстракции