ステートマシン図は状態遷移表の形式でも表現できますが、この状態遷移表上でもシミュレーションを実行することができます。
利用手順:
リボン |
|
コンテキストメニュー |
ダイアグラムの背景で右クリック | シミュレーションの実行 | 自動実行 あるいは 手動実行 |
(シミュレーションサブウィンドウの開始ボタン)
実行中のセルの表示
シミュレーションの実行中は、表内のセルの色が変わります。色が変わるセルは以下の通りです。
- 現在の状態 - 状態遷移表のオプションの「選択された遷移に関係する状態を明示:」で指定された色で表示されます。
- 次に性のある状態 - 「対象の状態を別の色で表示」の色で表示されます。未指定の場合、「選択された遷移に関係する状態を明示:」で指定された色で表示されます。
- 遷移可能な遷移 - 「遷移セル」で指定された色で表示されます。
- トリガ - 「選択された遷移に関係する状態を明示:」で指定された色で表示されます。
- 上記に該当しない状態 - 灰色で表示されます。
例:
トリガの発行
ステートマシン図でシミュレーションを実行している場合と同様に、シミュレーションの実行中は、ガード条件がない遷移やガード条件を満たす遷移を自動的に辿ります。トリガが関連づけられている遷移については、トリガが発行されるまで辿りません。ステートマシン図でのシミュレーションと同様に、シミュレーショントリガサブウィンドウからトリガを発行することで、状態遷移表でのシミュレーションを制御することができます。状態遷移表の場合には、トリガのセルを右クリックしてトリガを発行することもできます。
参照: