Языки программирования

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

В. С. Гуров, М. А. Мазин, А. А. Шалыто

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

2

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

3

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

4

Графический язык программирования

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

5

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

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

6

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

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

7

Система метапрограммирования MPS

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

8

Виды проблемно-ориентированных языков

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

9

Автоматное расширение языка Java

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

10

Независимый автоматный язык

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

11

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

12

Результаты

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

13

Спасибо

14