Текстовый язык автоматного программирования

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

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

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

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

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

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

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

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

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

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

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

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

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

* Спасибо