Цель работы

Научиться описывать поведение компонента распределенной системы с помощью детерминированных конечных автоматов

Порядок выполнения работы

1. Составить список устойчивых состояний, в которых может находиться модуль (следуют из сценария)
2. Открыть заготовку машины состояний
3. Нанести все состояния, проставить подписи
4. Установить переходы между состояниями
5. Внести маркировки нужных состояний (тип фильтрации сообщений и тайм-ауты)
6. Сохранить модель
7. Убедиться, что машина состояний детерменированная. При необходимости - исправить модель.
8. Сгенерировать декларативное описание машины состояний
9. Сформировать отчет о выполненной работе

Требования

• Наличие машины состояний в форме графической модели
• Наличие декларативного описания машины состояний
• Машина состояний должна быть детерминированной

Литература

•  Конечный автомат
•  Функционирование конечного автомата
•  Реакция модуля на сообщения
•  Графическое представление конечного автомата
•  Создание конечного автомата
•  Обучающая презентация по разработке компонента распределенной системы (Innopolis)