Спецификации управления

Спецификации управления предназначены для моделирования и документирования аспектов систем, зависящих от времени или реакции на событие. Они позволяют осуществлять декомпозицию управляющих процессов и описывают отно­шения между входными и выходными потоками на управляющем процессе предке. Для этой цели обычно используются диаграммы переходов состояний (STD).

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

STD состоит из следующих объектов:

Состояние - может рассматриваться как условие устойчивости для системы. Находясь в определенном состоянии, мы имеем достаточно информации о прошлой истории системы, чтобы определить очередное состояние в зависимости от теку­щих входных событий. Имя состояния должно отражать реальную ситуацию, в которой находится система, например, НА­ГРЕВАНИЕ, ОХЛАЖДЕНИЕ и т.п.

Начальное состояние - узел STD, являющийся стартовой точкой для начального системного перехода. STD имеет только начальное состояние, соответствующее состоянию системы после инсталляции, но перед началом реальной обра­ботки, а также любое (конечное) число завершающих состояний.

Переход определяет перемещение моделируемой системы из одного состояния в другое. При этом имя перехода идентифицирует событие, являющееся причиной перехода и управляющее им. Это событие обычно состоит из управляю­щего потока (сигнала), возникающего как во внешнем мире, так и внутри моделируемой системы при выполнении некото­рого условия (например, СЧЕТЧИК=999 или КНОПКА НАЖАТА). Следует отметить, что не все события вызывают пере­ходы из отдельных состояний. С другой стороны, одно и то же событие не всегда вызывает переход в то же самое состояние.

Таким образом, условие представляет собой событие (или события), вызывающее переход и идентифицируемое име­нем перехода. Если в условии участвует входной управляющий поток управляющего процесса-предка, то имя потока должно быть заключено в кавычки, например, "ПАРОЛЬ"=666, где ПАРОЛЬ - входной поток.

Кроме условия с переходом может связываться действие или ряд действий, выполняющихся, когда переход имеет ме­сто. То есть действие - это операция, которая может иметь место при выполнении перехода. Если действие необходимо для выбора выходного управляющего потока, то имя потока должно заключаться в кавычки, например:

"ВВЕДЕННАЯ КАРТА" = TRUE, где ВВЕДЕННАЯ КАРТА - выходной поток.

Кроме того, для спецификации А-, Т-, E/D-потоков (типы управляющих потоков приведены в главе 2), имя запускае­мого или переключаемого процесса также должно заключаться в кавычки, например:

А: "ПОЛУЧИТЬ ПАРОЛЬ" - активировать процесс ПОЛУЧИТЬ ПАРОЛЬ.

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

На STD состояния представляются узлами, а переходы - дугами (рис. 6.1). Условия (по-другому называемые стимулирую­щими событиями) идентифицируются именем перехода и возбуждают выполнение перехода. Действия или отклики на собы­тия привязываются к переходам и записываются под соответствующим условием. Начальное состояние на диаграмме должно иметь входной переход, изображаемый потоком из подразумеваемого стартового узла (иногда этот стартовый узел изображается небольшим квадратом и привязывается к входному состоянию).

Рис. Символы STD