Описание элементов SFC

Основными объектами SFC являются шаги и переходы, связанные между собой с помощью связей. Должны выполняться следующие правила чередования шагов и переходов:

– два шага не могут следовать непосредственно друг за другом - они должны всегда разделяться переходом;

– два перехода не должны следовать непосредственно друг за другом – между ними должен находиться шаг.

Шаг (Step).

Шаг представлен блоком (рис. 4.1.б), содержащим имя шага. Он предназначен для выполнения действий (присвоение значений переменным типа BOOL и отсчета времени), заданных в этом шаге. Шаг, в котором действия не заданы, называется пустым шагом.

Действия в шаге выполняются только тогда, когда он активен. В пассивном шаге действия не выполняются. Шаг становится активным, когда условие предшествующего ему перехода истинно. Шаг при нормальных обстоятельствах становится пассивным, когда действия, заданные в этом шаге, выполнены и условие перехода, следующего за ним, истинно.

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