パラレルステートでのローカルイベントのブロードキャスト

send による指示のあるイベントブロードキャスト

以下の例は、遷移での send(event_name,state_name) 構文による指示のあるイベントブロードキャストの動作を示しています。チャートは、パラレルステートの暗黙的な順序付けを使用します (パラレルステートの暗黙的な順序付けを参照)。

Stateflow chart with top-level parallel states called A and B. A has substates called A1 and A2. B has substates called B1 and B2.

最初は、チャートはスリープ状態です。パラレルサブステート A.A1 と B.B1 がアクティブであり、パラレル (AND) スーパーステート A と B がアクティブであることも意味します。条件 [data1==1] は真です。イベント E_one はチャートに属しており、A と B の両方にとって可視的です。

起動後、チャートは階層の各レベルで有効な遷移をチェックします。

チャートのルートは、イベントの結果、有効な遷移が存在するかどうかをチェックします。有効な遷移は存在しません。
イベントの結果、ステート A の有効な遷移がチェックされます。条件 [data1==1] が真であるため、ステート A.A1 からステート A.A2 への有効な遷移が存在します。
アクション send(E_one,B) が実行されます。
1. イベント E_one のブロードキャストがステート B に到達します。ステート B がアクティブであるため、ステートがイベントブロードキャストを受け入れ、有効な遷移が存在するかどうかをチェックします。B.B1 から B.B2 への有効な遷移が存在します。
2. ステート B.B1 の exit アクション (exitB1()) が実行されて完了します。
3. ステート B.B1 が非アクティブになります。
4. ステート B.B2 がアクティブになります。
5. ステート B.B2 の entry アクション (entB2()) が実行されて完了します。
ステート A.A1 の exit アクション (exitA1()) が実行されて完了します。
ステート A.A1 が非アクティブになります。
ステート A.A2 がアクティブになります。
ステート A.A2 の entry アクション (entA2()) が実行されて完了します。

このシーケンスは、パラレルステートに対する指示のあるイベントブロードキャストを伴うチャートの実行を完了します。

修飾イベント名による指示のあるイベントブロードキャスト

以下の例は、遷移アクションでの修飾イベント名による指示のあるイベントブロードキャストの動作を示しています。チャートは、パラレルステートの暗黙的な順序付けを使用します (パラレルステートの暗黙的な順序付けを参照)。

Stateflow chart with top-level parallel states called A and B. A has substates called A1 and A2. B has substates called B1 and B2.

send による指示のあるイベントブロードキャストにおけるチャートとの唯一の違いは、以下のとおりです。

イベント E_one がステート B に属しており、そのステートにとってのみ可視的です。ステート B のスコープにイベント E_one を割り当てるには、モデルエクスプローラーでステートを選択してイベントを追加します。
アクション send(E_one,B) は send(B.E_one) です。
E_one がステート A にとって可視的ではないため、修飾イベント名を使用しなければなりません。

起動後、チャートは階層の各レベルで有効な遷移をチェックします。

チャートのルートは、イベントの結果、有効な遷移が存在するかどうかをチェックします。有効な遷移は存在しません。
イベントの結果、ステート A の有効な遷移がチェックされます。条件 [data1==1] が真であるため、ステート A.A1 からステート A.A2 への有効な遷移が存在します。
アクション send(B.E_one) が実行されて完了します。
1. イベント E_one のブロードキャストがステート B に到達します。ステート B がアクティブであるため、ステートがイベントブロードキャストを受け入れ、有効な遷移が存在するかどうかをチェックします。B.B1 から B.B2 への有効な遷移が存在します。
2. ステート B.B1 の exit アクション (exitB1()) が実行されて完了します。
3. ステート B.B1 が非アクティブになります。
4. ステート B.B2 がアクティブになります。
5. ステート B.B2 の entry アクション (entB2()) が実行されて完了します。
ステート A.A1 の exit アクション (exitA1()) が実行されて完了します。
ステート A.A1 が非アクティブになります。
ステート A.A2 がアクティブになります。
ステート A.A2 の entry アクション (entA2()) が実行されて完了します。

このシーケンスは、修飾イベント名によるパラレルステートへの指示のあるイベントブロードキャストを伴うチャートの実行を完了します。

参考

send