345_Polyakov_presentation

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