В этом примере показано, что происходит при обработке трех событий с использованием внутреннего перехода в монопольном (OR) состоянии.
В этом примере показано поведение внутреннего перехода. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A активен. Состояние [C_one] имеет значение false. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one. Потенциально допустимый переход из состояния A указывать B обнаружен. Однако переход недействителен, поскольку [C_one] имеет значение false.
Государство A во время действий (durA()) выполнить и завершить.
Государство A проверяет свои нижестоящие элементы на наличие допустимого перехода и обнаруживает допустимый внутренний переход.
Государство A остается активным. Действие внутреннего перехода A_two выполняется и завершается. Потому что это внутренний переход, состояние AДействия выхода и входа не выполняются.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow ®, связанной с событиемE_one.
На предыдущем примере показано, что происходит при повторном событии. E_one происходит. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A все еще активен. Состояние [C_one] является правдой. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one.
Переход из состояния A указывать B теперь действителен, потому что [C_one] является правдой.
Государство A действия выхода (exitA()) выполнить и завершить.
Государство A помечен как неактивный.
Действие перехода A_one выполняется и завершается.
Государство B помечен как активный.
Государство B действия ввода (entB()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one.
В предыдущем примере показано, что происходит при третьем событии. E_two, происходит. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство B сейчас активен. Состояние [C_two] имеет значение false. Событие E_two происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_two.
Потенциально допустимый переход из состояния B указывать A обнаружен. Переход недопустим, так как [C_two] имеет значение false. Однако активное состояние B имеет допустимый переход самокольца.
Государство B действия выхода (exitB()) выполнить и завершить.
Государство B помечен как неактивный.
Действие перехода с петлей, A_four, выполняет и завершает.
Государство B помечен как активный.
Государство B действия ввода (entB()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_two. В этом примере показано различие в поведении между внутренним и автономным переходами.
В этом примере показано поведение обработки повторяющихся событий с использованием внутреннего перехода к соединительному соединению.
В этом примере показано поведение внутреннего перехода к соединительному соединению для первого события. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A1 активен. Состояние [C_two] является правдой. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода на корневом уровне в результате E_one. Нет допустимого перехода.
Государство A во время действий (durA()) выполнить и завершить.
Государство A проверяет себя на наличие допустимых переходов и обнаруживает наличие действительного внутреннего перехода к соединительному соединению.
Условия оцениваются для определения допустимости одного из переходов. Поскольку применяется неявное упорядочение, сегменты, помеченные условием, вычисляются перед немеченым сегментом. Оценка начинается с позиции 12 часов на стыке и продолжается по часовой стрелке. Поскольку [C_two] верно, внутренний переход к соединению, а затем к состоянию A.A2 является действительным.
Государство A.A1 действия выхода (exitA1()) выполнить и завершить.
Государство A.A1 помечен как неактивный.
Государство A.A2 помечен как активный.
Государство A.A2 действия ввода (entA2()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one когда состояние A1 активен и находится в состоянии [C_two] является правдой.
Продолжая предыдущий пример, этот пример показывает поведение внутреннего перехода к соединению при втором событии E_one происходит. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A2 активен. Состояние [C_two] является правдой. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода на корневом уровне в результате E_one. Нет допустимого перехода.
Государство A во время действий (durA()) выполнить и завершить.
Государство A проверяет себя на действительные переходы и обнаруживает действительный внутренний переход к соединительному соединению.
Условия оцениваются для определения допустимости одного из переходов. Поскольку применяется неявное упорядочение, сегменты, помеченные условием, вычисляются перед немеченым сегментом. Оценка начинается с позиции 12 часов на стыке и продолжается по часовой стрелке. Поскольку [C_two] верно, внутренний переход к соединению, а затем к состоянию A.A2 является действительным.
Государство A.A2 действия выхода (exitA2()) выполнить и завершить.
Государство A.A2 помечен как неактивный.
Государство A.A2 помечен как активный.
Государство A.A2 действия ввода (entA2()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one когда состояние A2 активен и находится в состоянии [C_two] является правдой. Для состояния с допустимым внутренним переходом активный подсостояние может быть немедленно удалено и вновь введено.
В этом примере показано поведение внутреннего перехода к соединению истории.
Первоначально чарт спит. Государство A.A1 активен. Сведения журнала существуют, так как сверхсостояние A активен. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one. Нет допустимого перехода.
Государство A во время выполнения и завершения действий.
Государство A проверяет себя на наличие допустимых переходов и обнаруживает наличие действительного внутреннего перехода к соединению истории. На основе хронологической информации последнее активное состояние, A.A1, является состоянием назначения.
Государство A.A1 действия выхода выполняются и завершаются.
Государство A.A1 помечен как неактивный.
Государство A.A1 помечен как активный.
Государство A.A1 действия ввода выполняются и завершаются.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one когда происходит внутренний переход в исторический переход и состояние A.A1 активен. Для состояния с допустимым внутренним переходом активный подсостояние может быть немедленно удалено и вновь введено.