1 of 30

QReal

2 of 30

Архитектура системы

3 of 30

Пользовательский интерфейс

4 of 30

Компоненты

5 of 30

Процесс создания редактора

6 of 30

Модели

7 of 30

Репозиторий

8 of 30

Метаредактор

  • Метамодель (плагин с набором языков)
    • Редактор (язык, вкладка в палитре)
      • Элемент
      • Связь
      • Перечисление
        • Значение
      • Свойство
      • Импорт
      • “Является контейнером”
      • “Раскрывается в”
      • Наследование

9 of 30

Пример метамодели

10 of 30

Редактор формы фигур

11 of 30

Ограничения

  • Синтаксические
  • Семантические
    • На состояние системы во время работы
    • На модель разрабатываемой системы

12 of 30

Схема механизма проверки ограничений

13 of 30

Рефакторинги

14 of 30

Язык описания рефакторингов

  • Шаблон задания рефакторинга
    • блок "До"
    • блок "После"
  • Элементы языка
    • Элемент
    • Связь
    • Выделенный фрагмент
    • EXIST

15 of 30

Список рефакторингов

16 of 30

Пример рефакторинга

17 of 30

Интерпретация моделей

18 of 30

Задание семантики

19 of 30

Интерпретация метамоделей

20 of 30

Пример работы интерпретатора

21 of 30

Метамоделирование на лету

22 of 30

Визуальный diff

23 of 30

QReal:Robots: пример программы

24 of 30

QReal:Robots: регулятор

25 of 30

Архитектура интерпретатора

26 of 30

2d-модель

27 of 30

Метамодель языка

28 of 30

QReal:Ubiq

29 of 30

QReal:Hascol

30 of 30

QReal:Hascol (2)