Лекция: Методы заданий спецификации процессов - деревья решений.

Проектирование спецификаций процессов с помощью таблиц решений (ТР)заключается в задании матрицы, отображающей множество входных условий во множестве действий.

Построение ТР рекомендуется осуществлять по следующим шагам:

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

— Вычислить число комбинаций условий. Если все условия являются бинарными, то существует 2N комбинаций N переменных.

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

— Построить пустую таблицу, все возможные условия и действия, а также номера комбинаций условий;

— Выписать и занести в таблицу все возможные комбинации условий;

— Редуцировать комбинации условий;

— Проверить каждую комбинацию условий и идентифицировать соответствующие выполняемые действия;

— Выделить комбинации условий, для которых спецификация не указывает список выполняемых действий;

— Обсудить построенную таблицу.

Вариантом ТР является дерево решений (ДР),позволяющее взглянуть на процесс условного выбора с позиции схемы. Дерево решений для рассмотренного примера приведено на рис. 4.1.

Рис.4.1: Дерево решений

Обычно ДР используется при малом числе действии и когда не все комбинации условий возможны, а ТР — при большом числе действий и когда возможно большинство комбинаций условий.