Документирование прецедентов. 
Программное проектирование деловых игр

Краткое описание.

Прецедент дает возможность Игроку выбрать деловую игру.

Актеры.

Игрок.

Предусловия.

Игрок запустил приложение.

Основной поток.

• 1. Игроку выводится стартовая сцена.
• 2. Игрок выбрал деловую игру на сцене.

Альтернативные потоки.

Если Игрок завершил игру, то вывести конечную сцену игры.

Постусловия.

Игрок выбрал деловую игру.

Краткое описание.

Прецедент дает возможность Игроку выбрать действие на сцене выбора действий.

Актеры.

Игрок.

Предусловия.

Игрок выбрал ДИ в стартовой сцене или Игрок закончил взаимодействие с ресурсами.

Основной Поток.

• 1. Вывести действия на экран.
• 2. Игрок выбирает действие на сцене.

Альтернативные потоки.

Если в БД нет сцены с полученным кодом сцены, то Игроку выводится сообщение об ошибке, производится переход к предыдущей сцене.

Постусловия.

Игрок выбрал действие.

Краткое описание.

Прецедент дает возможность Игроку при необходимости выбрать ресурс или ресурсы на сцене взаимодействия с ресурсами.

Актеры.

Игрок.

Предусловия.

Осуществлён переход к сцене обращения к ресурсу (ресурсам).

Основной Поток.

• 1. Вывести ресурсы на экран.
• 2. Игрок выбирает ресурс на сцене.

Альтернативные потоки.

Нет.

Постусловия.

Игрок выбрал ресурс.

Краткое описание.

Текущее состояние игры определяется выбранным Игроком действием. Для каждого действия существует своё условие перехода к следующей сцене, которое хранится в БД СКДИ.

Актеры.

Игрок, БД СКДИ.

Предусловия.

Игрок выбрал действие на сцене.

Основной Поток.

• 1. Получить код выбранного действия.
• 2. Найти в БД соответствующее идентификатору действия условие перехода.
• 3. Привести условие перехода к виду двоичного кода.

Альтернативные потоки.

Если по идентификатору выбранного действия в БД СКДИ не было найдено условие перехода, то Игроку будет выведено сообщение об ошибке.

Постусловия.

Состояние игры было вычислено.

Краткое описание.

Из БД СКДИ по идентификаторам выбираются ресурсы, соответствующие идентификатору сцены (полученному из регистра состояний игры) и идентификатору ранее выбранного Игроком действия, формируется сцена выбора действий.

Актеры.

БД СКДИ.

Предусловия.

Из регистра состояний игры получен идентификатор сцены, Игрок выбрал действие (или действие было выбрано игрой автоматически, в случае если на сцене выбора действий было только одно действие).

Основной Поток.

• 1. Получить код сцены.
• 2. По коду сцены найти сцену в БД.
• 3. Получить ресурсы сцены из БД.
• 4. Расположить ресурсы на сцене.
• 5. Вывести ресурсы на экран.
• 6. Сформировать сцену взаимодействия с ресурсами.

Альтернативные потоки.

Если в БД не был найден код сцены, то Игроку будет выведено сообщение об ошибке, осуществлён переход к предыдущей сцене.

Постусловия.

Сцена выбора действий была выведена на экран.

Краткое описание.

Из БД СКДИ по идентификаторам выбираются действия, соответствующие идентификатору сцены, полученному из регистра состояний игры, формируется сцена взаимодействия с ресурсами.

Актеры.

БД СКДИ.

Предусловия.

Из регистра состояний игры получен идентификатор сцены.

Основной Поток.

• 1. Получить код сцены.
• 2. По коду сцены найти сцену в БД.
• 3. Получить действия сцены из БД.
• 4. Сформировать сцену взаимодействия с ресурсами.

Альтернативные потоки.

Если в БД не был найден код сцены, то Игроку будет выведено сообщение об ошибке.

Постусловия.

На сцену было/были выведены действие/действия.

Краткое описание.

Кодом текущего состояния игры считается приведённое к виду двоичного кода условие перехода к следующей сцене, полученное из БД СКДИ по идентификатору выбранного Игроком действия.

Актеры.

Регистр состояний игры.

Предусловия.

Было вычислено текущее состояние игры.

Основной Поток.

• 1. Записать приведённая к виду двоичного кода последовательность переходов в регистр состояний игры.
• 2. Изменить значение логической переменной для ОМ на false.

Альтернативные потоки.

Если, приведённая к виду двоичного кода последовательность переходов = null, то Игроку будет выведено сообщение об ошибке.

Постусловия.

Код текущего состояния игры записан в регистр состояний игры.

Краткое описание.

Операционная модель получает из регистра состояний идентификатор следующей сцены, занесённый туда автоматной моделью после перехода к следующему оператору по строке ЛСА и преобразования оператора в идентификатор следующей сцены игры.

Актеры.

Регистр состояний игры.

Предусловия.

В регистре состояний игры было изменено значение логической переменной для ОМ с false на true.

Основной Поток.

• 1. Обратиться к регистру состояний.
• 2. Считать идентификатор следующей сцены.

Альтернативные потоки.

Если значение логической переменной для ОМ = false и идентификатор следующей сцены = null, то выдать Игроку сообщение об ошибке.

Постусловия.

Из регистра состояний игры был получен идентификатор следующей сцены.