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