Спецификации управления.Диаграммы переходов состояний (STD).

Спецификации управления предназначены для моделирования и документирования аспектов систем, зависящих от времени или реакции на событие. Они позволяют осуществлять декомпозицию управляющих процессов и описывают отношения между входными и выходными управляющими потоками на управляющем процессе-предке. Для этой цели обычно используются диаграммы переходов состояний (STD). Жизненный цикл сущности относится к классу STD-диаграмм (рис. 14). Эта диаграмма отражает изменение состояния объекта с течением времени. Например, рассмотрим состояние товара на складе: товар может быть заказан у поставщика, поступить на склад, храниться на складе, проходить контроль качества, может быть продан, забракован, возвращен поставщикуВ ситуации, когда число состояний и/или переходов велико, для проектирования спецификаций управления могут использоваться таблицы или матрицы переходов состояний.

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

2. во второй колонке для каждого состояния приведены все условия, вызывающие переходы в другие состояния;

3. в третьей колонке – совершаемые при этих переходах действия;

4. четвертая колонка содержит соответствующие имена состояний, в которые осуществляется переход из рассматриваемого состояния при выполнении определенного условия.

Матрица переходов состояний содержит по вертикали перечень состояний системы, а по горизонтали список условий. Каждый ее элемент содержит список действий, а также имя состояния, в которое осуществляется переход.

.