Этот пример показывает переход от состояния OR к сверхсостоянию с исключительным (OR) разложением, где задан переход по умолчанию к подсостоянию.
Изначально график спит. Конечные A активно. Событийные E_one происходит и пробуждает график, который обрабатывает событие из корня вниз через иерархию:
Корень графика проверяет, есть ли допустимый переход в результате E_one. Существует допустимый переход от состояния A в сверхштатные B.
Конечные A выход действий (exitA()) выполнить и завершить.
Конечные A помечен как неактивный.
Переходное действие, A, выполняется и завершено.
Конечные B отмечен как активный.
Конечные B действия входа (entB()) выполнить и завершить.
Конечные B обнаруживает допустимый переход по умолчанию в состояние B. B1.
Конечные B. B1 отмечен как активный.
Конечные B. B1 действия входа (entB1()) выполнить и завершить.
График возвращается в сон.
Эта последовательность завершает выполнение этого Stateflow® график, связанная со E_one событий когда состояние A первоначально активно.
В следующем примере показано поведение перехода по умолчанию к соединительному соединению. Переход по умолчанию к соединению действителен только когда состояние B впервые введено, не каждый раз, когда график просыпается.
В данном примере изначально график спит. Конечные B.B1 активно. Условие [C_two] является true. Событие происходит и пробуждает график, который обрабатывает событие с корня вниз через иерархию:
Конечные B проверяет, существует ли допустимый переход в результате какого-либо события. Их нет.
Конечные B
during действия (durB()) выполнить и завершить.
Конечные B1 проверяет, существует ли допустимый переход в результате какого-либо события. Их нет.
Конечные B1
during действия (durB1()) выполнить и завершить.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с вхождением любого события.
Этот пример показывает поведение сверхсостояния с переходом по умолчанию и историческим соединением. График использует неявное упорядоченное расположение исходящих переходов (см. Неявное упорядоченное расположение).
Изначально график спит. Конечные A активно. Соединение истории фиксирует тот факт, что состояние B4 - ранее активное подсостояние сверхсостояния B. Событийные E_one происходит и пробуждает график, который обрабатывает событие из корня вниз через иерархию:
Корень графика проверяет, есть ли допустимый переход в результате E_one.
Существует допустимый переход от состояния A в сверхштатные B.
Конечные A выход действий (exitA()) выполнить и завершить.
Конечные A помечен как неактивный.
Конечные B отмечен как активный.
Конечные B действия входа (entB()) выполнить и завершить.
Конечные B использует историческое соединение, чтобы определить субстанцию назначения перехода в сверхсостояние.
Историческое соединение указывает, что подсостояние B. B4 был последним активным подсостоянием, который становится местом назначения перехода.
Конечные B. B4 отмечен как активный.
Конечные B. B4 действия входа (entB4()) выполнить и завершить.
График возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one.
В этом примере показано использование перехода по умолчанию с меткой. График использует неявное упорядоченное расположение исходящих переходов (см. Неявное упорядоченное расположение).
Изначально график спит. Конечные A активно. Событийные E_one происходит и пробуждает график, который обрабатывает событие из корня вниз через иерархию:
Корень графика проверяет, есть ли допустимый переход в результате E_one.
Существует допустимый переход от состояния A в сверхштатные B. Переход действителен, если событие E_one или E_two происходит.
Конечные A выход действия выполнить и завершить (exitA()).
Конечные A помечен как неактивный.
Конечные B отмечен как активный.
Конечные B Действия входа выполните и завершите (entB()).
Конечные B обнаруживает допустимый переход по умолчанию в состояние B. B1. Переход по умолчанию действителен в результате E_one.
Конечные B. B1 отмечен как активный.
Конечные B. B1 Действия входа выполните и завершите (entB1()).
График возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one когда состояние A первоначально активно.