Программное обеспечение процессов и систем. Щеников Я.А. - 31 стр.

UptoLike

Составители: 

31
нового состояния осуществляется путем нажатия кнопки в левом
верхнем углу редактора SF-диаграмм и буксировки его с нажатой левой
клавишей мыши в нужное место. Состояния можно также увеличивать/
уменьшать, ухватившись за скругленные края прямоугольника.
Состояния должны обязательно иметь названия. В нашем случае они
обозначают текущий цвет (состояние) светофора: red (красный), red_yellow
(красный и желтый), green (зеленый), yellow (желтый). Названия вводятся
вместо знака вопроса (?) и должны заканчиваться косой чертой (/). После
ввода косой черты и нажатия ENTER можно переходить к вводу процедур.
При задании самого состояния могут быть заданы следующие действия:
en: (entry) – действие, выполняемое на входе в состояние;
du: (during) – действие, выполняемое пока состояние активно;
ex: (exit) – действие, выполняемое на выходе из состояния;
on: (on event) <имя события> – действие, выполняемое в момент
появления события (имя которого указано) при условии, что система
будет находиться в данном состоянии.
Заполните состояния событиями, как указано на рис. 6.3. Особое
внимание следует обратить на правильность написания: десятичный
разделитель – точка, а не запятая.
Ш а г 2. Создание переходов. Прежде всего необходимо указать какое
состояние будет начальным. Для этого с помощью кнопки (переход
по умолчанию) установим переход на состояние red, как это показано на
рис. 6.3. Переходы между состояними проводятся с помощью мыши. Для
этого следует перевести указатель мыши в любое место контура состоя-
ния-источника, нажать левую клавишу мыши и довести стрелку до любого
места в контуре состояния-приемника после чего отпустить левую клави-
шу мыши.
Затем следует описать условия переходов. Для этого надо выделить
линию перехода и вместо появившегося знака вопроса ввести условие
типа after(60,sec), где 60 обозначает количество пришедших событий
sec, после которого необходимо осуществить переход в следующее со-
стояние. Аналогичным образом создайте остальные три условия, как
это показано на рис. 6.3.
Ш а г 3. Определение переменных. Первоначально перенесенный в
модель блок chart не имеет ни входов, ни выходов. Их необходимо со-
здать. В созданной SF-диаграмме имеются: одно событие (sec), кото-