Перед выполнением переходов для активного состояния или диаграммы программное обеспечение Stateflow ® группирует переходы по следующим типам:
Блок-схемы по умолчанию - это все сегменты перехода по умолчанию, которые начинаются с одного и того же родительского элемента.
Внутренние блок-схемы представляют собой все переходные сегменты, которые происходят в состоянии и полностью находятся в этом состоянии.
Внешние блок-схемы представляют собой все переходные сегменты, которые происходят в соответствующем состоянии, но находятся, по меньшей мере, частично вне этого состояния.
Каждый набор блок-схем включает в себя другие переходные сегменты, соединенные с квалифицирующим переходным сегментом через соединения и переходы. Рассмотрим следующий пример:
В этом примере состояние A имеет как внутренний переход, так и переход по умолчанию, которые соединяются с соединением с исходящими переходами в состояния A.A1 и A.A2. Если состояние A активен, его набор внутренних блок-схем включает в себя:
Внутренний переход
Исходящие переходы из соединения в состояние A.A1 и A.A2
Кроме того, набор блок-схем по умолчанию для состояния A включает в себя:
Переход по умолчанию к соединению
Два исходящих перехода из соединения в состояние A.A1 и A.A2
В этом случае два отходящих переходных сегмента от соединения являются членами нескольких типов блок-схем.
Каждая группа блок-схем выполняется в порядке приоритета группы до появления действительного перехода. Сначала выполняется группа перехода по умолчанию, затем группа внешних переходов, а затем группа внутренних переходов. Каждая группа блок-схем выполняется следующим образом:
Упорядочить сегменты перехода группы для активного состояния.
Активное состояние может иметь несколько возможных исходящих переходов. Диаграмма упорядочивает эти переходы, прежде чем проверять их на действительность. См. раздел Порядок оценки перехода.
Выберите следующий сегмент перехода в наборе упорядоченных переходов.
Протестируйте сегмент перехода на достоверность.
Если сегмент недействителен, перейдите к шагу 2.
Если местом назначения сегмента перехода является состояние, выполните следующие действия.
Тестирование переходных сегментов останавливается, и путь перехода формируется путем резервного копирования и включения переходного сегмента от каждого предшествующего соединения обратно к начальному переходу.
Состояния, являющиеся непосредственными подсостояниями родительского объекта выхода из пути перехода (см. Выход из состояния).
Выполняется действие перехода из конечного сегмента перехода полного пути перехода.
Состояние назначения становится активным (см. раздел Ввод диаграммы или состояния).
Если местом назначения является соединение без исходящих переходных сегментов, выполните следующие действия.
Тестирование прекращается без каких-либо выходов из состояния или записей.
Если местом назначения является соединение с исходящими переходными сегментами, повторите шаг 1 для набора исходящих сегментов.
После тестирования всех исходящих сегментов перехода на стыке выполните следующие действия.
Выполните обратную трассировку входящего переходного сегмента, который привел вас к соединению.
Перейдите к шагу 2, начиная со следующего сегмента перехода после резервного сегмента.
Набор блок-схем завершает выполнение после проверки всех начальных переходов.