セマンティクスのカテゴリの例

以下の例は、Stateflow^® チャートの詳細なセマンティクス (動作) を示しています。

排他的ステート間の遷移

• イベントによるステート間の遷移

• イベントによるサブステート間の遷移

条件アクションを使用したチャートの実行の制御

• 条件アクションの動作

• 条件アクションと遷移アクションの動作

• for ループを使用した条件アクションの作成

• 条件アクションを使用したパラレル (AND) ステートへのイベントのブロードキャスト

• 循環動作の回避

デフォルト遷移を使用したチャートの実行の制御

• 排他的 (OR) 構造のデフォルト遷移

• ジャンクションへのデフォルト遷移

• デフォルト遷移とヒストリ ジャンクション

• ラベル付きのデフォルト遷移

内部遷移を含むステート内のイベントの処理

• 排他的 (OR) ステートの最初のイベントの処理

• 排他的 (OR) ステートの 2 番目のイベントの処理

• 排他的 (OR) ステートの 3 番目のイベントの処理

• コネクティブ ジャンクションへの内部遷移による最初のイベント処理

• コネクティブ ジャンクションへの内部遷移による 2 番目のイベント処理

• ヒストリ ジャンクションへの内部遷移

コネクティブ ジャンクションを使用した複数パスの表現

• if-then-else 判断の構成

• 自己ループ遷移

• for ループの構成

• フロー チャート表記法

• 共通の遷移元から複数の遷移先への遷移

• 複数の遷移元から共通の遷移先への遷移

• 共通のイベントに基づく遷移元から遷移先への遷移

スーパーステートでのイベント アクションの使用によるチャートの実行制御

パラレル ステート内の指示のないブロードキャスト イベント

• ステート アクションでのイベントのブロードキャスト

• 遷移アクションでのイベントのブロードキャスト

• 条件アクションでのイベントのブロードキャスト

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

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

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