Формат метки для сегмента перехода, входящего в соединение, тот же, что и для переходов, входящих в состояния, как показано в следующем примере. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Выполнение перехода в этом примере происходит следующим образом:
При возникновении события состояние S1 проверяется на наличие исходящего перехода с указанным соответствующим событием.
При обнаружении перехода с соответствующим событием вычисляется условие перехода для этого перехода (в скобках).
Если condition_1 имеет значение true, действие условия condition_action (в скобках) выполняется.
Исходящие переходы из соединения проверяются на наличие допустимого перехода. С тех пор condition_2 true, допустимый переход из состояния в состояние S1 кому S2 существует.
Государство S1 действия выхода выполняются и завершаются.
Государство S1 помечен как неактивный.
Действие перехода transition_action выполняет и завершает.
Завершенный переход из состояния в состояние S1 кому S2 происходит.
Государство S2 помечен как активный.
Государство S2 действия ввода выполняются и завершаются.
В этом примере показано поведение if-then-else конструкция решения. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A активен. Состояние [C_two] является правдой. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one.
Допустимый сегмент перехода из состояния A к соединительному соединению существует. Поскольку применяется неявное упорядочение, сегменты перехода, начинающиеся с позиции 12 часов на соединительном соединении, оцениваются на достоверность. Первый переходный сегмент, помеченный состоянием [C_one], является недопустимым. Следующий переходный сегмент, помеченный условием [C_two], является действительным. Полный переход из состояния A указывать C является действительным.
Государство A действия выхода (exitA()) выполнить и завершить.
Государство A помечен как неактивный.
Государство C помечен как активный.
Государство C действия ввода (entC()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow ®, связанной с событиемE_one.
В этом примере показано поведение перехода самокольцовки с использованием соединительного соединения. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A активен. Состояние [C_one] имеет значение false. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one. Допустимый сегмент перехода из состояния A к соединительному соединению существует. Поскольку применяется неявное упорядочение, сегмент перехода, помеченный условием, оценивается на достоверность. Потому что состояние [C_one] недействителен, полный переход из состояния A указывать B недопустим. Сегмент перехода из соединительного соединения обратно в состояние A является действительным.
Государство A действия выхода (exitA()) выполнить и завершить.
Государство A помечен как неактивный.
Действие перехода A_two выполняется и завершается.
Государство A помечен как активный.
Государство A действия ввода (entA()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one.
В этом примере показано поведение for петлю с использованием соединительного соединения. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A активен. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one. Существует допустимый сегмент перехода из состояния A к соединительному соединению. Действие условия сегмента перехода, i = 0, выполняет и завершает. Из двух переходных сегментов, выходящих из соединительного соединения, переходный сегмент, который является самокольцом, возвращается к соединительному соединению, оценивается следующим для достоверности. Этот сегмент имеет приоритет при оценке, поскольку он имеет условие, в то время как другой сегмент не помечен. Это поведение оценки отражает неявный порядок исходящих переходов в диаграмме.
Условие [i < 10] оценивает как true. Действия условий i++ и вызов func1 выполнить и завершить до тех пор, пока условие не станет ложным. Поскольку соединительное соединение не является конечным пунктом назначения, место назначения перехода все еще неизвестно.
Безусловный сегмент для определения состояния B теперь является действительным. Полный переход из состояния A указывать B является действительным.
Государство A действия выхода (exitA()) выполнить и завершить.
Государство A помечен как неактивный.
Государство B помечен как активный.
Государство B действия ввода (entB()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы, связанной с событием E_one.
В этом примере показано поведение диаграммы Stateflow, которая использует нотацию блок-схемы. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A.A1 активен. Условие [C_one()] изначально имеет значение true. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one. Нет допустимого перехода.
Государство A проверяет себя на действительные переходы и обнаруживает действительный внутренний переход к соединительному соединению.
Оцениваются следующие возможные сегменты перехода. Существует только один исходящий переход, и для него определено действие условия. Действие условия выполняется и завершается.
Оцениваются следующие возможные сегменты. Существуют два исходящих перехода: условный переход с петлей и безусловный сегмент перехода. Поскольку применяется неявное упорядочение, сегмент условного перехода имеет приоритет. Так как условие [C_one()] true, берётся переход самокольцовки. Поскольку конечный пункт назначения перехода не был достигнут, этот самокольцевание продолжается до [C_one()] имеет значение false.
Предположим, что после пяти итераций [C_one()] имеет значение false.
Оценивается следующий возможный переходный сегмент (к следующему соединительному соединению). Это безусловный переходный сегмент с действием условия. Выполняется переход к сегменту и действие условия. {d=my_func()}, выполняет и завершает. Возвращенное значение d составляет 84.
Оценивается следующий возможный переходный сегмент. Существуют три исходящих переходных сегмента: два условных и один безусловный. Поскольку применяется неявное упорядочение, сегмент, помеченный условием [d < 100] сначала вычисляется на основе геометрии двух исходящих сегментов условного перехода. Поскольку возвращенное значение d 84, условие [d < 100] true и этот переход в состояние назначения A.A1 является действительным.
Государство A.A1 действия выхода (exitA1()) выполнить и завершить.
Государство A.A1 помечен как неактивный.
Государство A.A1 помечен как активный.
Государство A.A1 действия ввода (entA1()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one.
В этом примере показано поведение переходов от общего источника к нескольким условным адресатам с использованием соединительного соединения. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A активен. Событие E_two происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_two. Допустимый сегмент перехода существует из состояния A к соединительному соединению. Поскольку применяется неявное упорядочение, оценка сегментов с эквивалентным приоритетом метки начинается с позиции 12 часов на соединительном соединении и продолжается по часовой стрелке. Первый сегмент перехода, помеченный событием E_one, является недопустимым. Следующий сегмент перехода, помеченный событием E_two, является действительным. Полный переход из состояния A указывать C является действительным.
Государство A действия выхода (exitA()) выполнить и завершить.
Государство A помечен как неактивный.
Государство C помечен как активный.
Государство C действия ввода (entC()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_two.
Конфликтующие переходы - это два одинаково допустимых пути из одного источника в диаграмме Stateflow во время моделирования. В случае конфликта диаграмма оценивает одинаково допустимые переходы на основе режима упорядочения в диаграмме: явный или неявный.
Для явного упорядочения (режим по умолчанию) оценка конфликтующих переходов выполняется на основе порядка, заданного для каждого перехода. Дополнительные сведения см. в разделе Явное упорядочение.
Для неявного упорядочения в диаграммах C оценка конфликтующих переходов выполняется на основе внутренних правил, описанных в разделе Неявное упорядочение.
Следующая диаграмма имеет два одинаково допустимых пути перехода:
Для неявного упорядочения диаграмма оценивает несколько исходящих переходов с равным приоритетом метки в последовательности по часовой стрелке, начиная с позиции двенадцати часов в состоянии. В этом случае переход из состояния A указывать B происходит.
Для явного упорядочения диаграмма разрешает конфликт, вычисляя исходящие переходы в указанном порядке. Например, если щелкнуть правой кнопкой мыши переход из состояния A указывать C и выберите в контекстном меню «Порядок выполнения > 1». Сначала диаграмма вычисляет этот переход. В этом случае переход из состояния A указывать C происходит.
Переход по умолчанию в состояние A присваивает данные a равно 1 и данные b равно 10. during действие состояния A приращения a и уменьшения b в течение каждого временного шага. Переход из состояния A указывать B является действительным, если условие [a > 4] является правдой. Переход из состояния A указывать C является действительным, если условие [b < 7] является правдой. Во время моделирования существует временной шаг, на котором состояние A является активным, и оба условия являются истинными. Этот вопрос является конфликтом переходного периода.
В этом примере показано поведение переходов из нескольких источников в один пункт назначения с использованием соединительного соединения.
Первоначально чарт спит. Государство A активен. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one. Допустимый сегмент перехода существует из состояния A к соединительному соединению и от соединения к состоянию C.
Государство A действия выхода (exitA()) выполнить и завершить.
Государство A помечен как неактивный.
Государство C помечен как активный.
Государство C действия ввода (entC()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one.
В этом примере показано поведение переходов из нескольких источников в один пункт назначения на основе одного и того же события с использованием соединительного соединения.
Первоначально чарт спит. Государство B активен. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one. Допустимый сегмент перехода существует из состояния B к соединительному соединению и от соединения к состоянию С.
Государство B действия выхода (exitB()) выполнить и завершить.
Государство B помечен как неактивный.
Государство C помечен как активный.
Государство C действия ввода (entC()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one.
В этом примере показано поведение переходов с соединениями, которые вынуждают выполнять обратную слежение на блок-схемах. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально состояние A активен и условия c1, c2, и c3 являются истинными:
Корень диаграммы проверяет наличие допустимого перехода из состояния A.
Существует допустимый сегмент перехода, отмеченный условием c1 из состояния A к соединительному соединению.
Состояние c1 истинно и действие a1 выполняется.
Состояние c3 истинно и действие a3 выполняется.
Состояние c4 не соответствует действительности, и поток управления возвращается в состояние A.
Корень диаграммы проверяет наличие другого допустимого перехода из состояния A.
Существует допустимый сегмент перехода, отмеченный условием c2 из состояния A к соединительному соединению.
Состояние c2 истинно и действие a2 выполняется.
Состояние c3 истинно и действие a3 выполняется.
Состояние c4 не соответствует действительности, и поток управления возвращается в состояние A.
Диаграмма спит.
В предыдущем примере показано ожидаемое поведение выполнения обоих действий a1 и a2. Другим неожиданным поведением является выполнение действия a3 дважды. Чтобы устранить эту проблему, рекомендуется добавить безусловные переходы к оконечным соединениям.
Концевые переходы позволяют потоку заканчиваться, если c3 или c4 не соответствует действительности. Эта конструкция оставляет состояние А активным без выполнения ненужных действий.