Введение
CLA44SS ГЛАВА 1. Технологии проектирования и разработки объектно-ориентированных программ 11 CLASS
1.1. Реактивные системы 13
1.2. Классификация автоматных подходов 14
1.3. Гибридные автоматы 16
1.4. Автоматное программирование встраиваемых систем 17
1.5. Использование автоматного подхода при реализации прикладных программ 18
1.6. Программные продукты для графического моделирования конечных автоматов 21
1.6.1. Finite State Machine Editor 23
1.6.2. Среда разработки Флора 24
1.6.3. XJTek AnyState 25
1.6.4. IAR Systems visualSTATE 25
1.6.5. Telelogic Tau2 26
1.6.6. Borland Together Architect 26
1.7. Исполняемый UML 27
1.8. SWITCH-технология 28
Выводы по главе 1 29
ГЛАВА 2. Разработка метода построения объектно- ориентированных программ с использованием автоматного подхода 30
2.1. Исполняемый графический язык автоматного программирования и метод построения программ на его основе 30
2.2. Синтаксис графического языка 34
2.3. Операционная семантика графического языка 37
Выводы по главе 2 40
ГЛАВА 3. Верификация моделей автоматных программ 41
3.1. Дедуктивный анализ автоматных моделей 43
3.2. Верификация на модели 53
3.2.1. Метод верификации 53
3.2.2. Сравнение метода эмуляции с методом верификации автоматных программ, известным из литературы 61
3.2.3. Применение верификатора 63
Выводы по главе 3 75
ГЛАВА 4. Ршструментальное средство для поддержки автоматного программирования unimod 76
4.1. Интерпретация 76
4.2. Компиляция 77
4.3. Реализация редактора диаграмм на платформе Eclipse 78
4.3.1. Завершение ввода и исправление ошибок ввода 79
4.3.2. Форматирование 80
4.3.3. Исполнение модели 80
4.4. Отладка модели 81
4.4.1. Статическая модель отладчика 85
4.4.2. Динамическая модель отладчика 88
Выводы по главе 4 93
ГЛАВА 5. Внедрение предложенных результатов работы в практику проектирования 94
5.1. Создание системы автоматического завершения ввода 94
5.1.1. Описание предлагаемой технологии 95
5.1.2. Построение диаграммы переходов синтаксического анализатора 98
5.1.3. Удаление правой рекурсии 100
5.1.4. Удаление немотивированных переходов 100
5.1.5. Подстановка диаграмм переходов друг в друга 102
5.1.6. Удаление срединной рекурсии 105
5.1.7. Модель разрабатываемой системы 107
5.1.8. Восстановление после ошибок 109
5.1.9. Получение множества строк для автоматического завершения ввода 113
5.1.10. Пример работы системы 114
5.2. Внедрение в учебном процессе 115
5.3. Создание мобильного приложения 118
5.3.1. Постановка задачи 121
5.3.2. Статическая модель системы 125
5.3.3. Динамическая модель системы 126
5.3.4. Создание кода 130
5.4. Текстовый язык для автоматного программирования 134
Выводы по главе 5 137
Заключение 139
Источники
