Текстовый язык автоматного программирования В. С. Гуров, М. А. Мазин, А. А. Шалыто

2 Инструментальное средство UniMod

3 Диаграмма классов

4 Диаграмма состояний

5 Графический язык программирования Достоинства средства UniMod Диаграммы более выразительны, чем текст UML-нотация общепринята Недостатки средства UniMod Вводить диаграммы неудобно Программисты предпочитают текстовый код

6 Текстовый язык автоматного программирования Проблемно-ориентированный автоматный язык Автомат описывается в терминах автоматного программирования Диаграммы генерируются по мере ввода текста программы

7 Разработка текстового языка программирования Транслятор Лексический анализатор Синтаксический анализатор Семантический анализатор Генератор кода Интегрированная среда разработки «Подсветка» ошибок Автоматическое завершение ввода Навигация по коду

8 Система метапрограммирования MPS Принимает на вход абстрактный синтаксис конкретный синтаксис систему типов кодогенератор Автоматически строит интегрированную среду разработки

9 Виды проблемно- ориентированных языков Проблемно-ориентированные расширения существующих языков Например, язык доступа к базе данных, язык описания регулярных выражений и т.д. Независимые языки Например, язык планировщика задач операционной системы

10 Автоматное расширение языка Java Позволяет описывать поведение Java-класс в виде автомата Отправка событий вызов специальных методов класса Состояние храниться в переменной объекта Автомат описывается в терминах автоманого программирования

11 Независимый автоматный язык Все приложение описывается в терминах автоманого программирования Возможно использовать для генерации не Java-кода Соответствует понятию запускаемых спецификаций

12 Генерация диаграмм

13 Результаты Разработанное средство позволяет разрабатывать автоматные программы описывать поведение Java-классов в виде автоматов использовать преимущества текстового ввода программ и представления автоматов в виде диаграмм

14 Спасибо