状態遷移表でのシミュレーション

ステートマシン図は状態遷移表の形式でも表現できますが、この状態遷移表上でもシミュレーションを実行できます。

利用手順:

リボン	シミュレーション > 実行 > 開始シミュレーション > 共通 > ウィンドウ > ウィンドウ > (シミュレーションサブウィンドウの開始ボタン)
コンテキストメニュー	ダイアグラムの背景で右クリック \| シミュレーションの実行 \| 自動実行あるいは手動実行

実行中のセルの表示

シミュレーションの実行中は、表内のセルの色が変わります。色が変わるセルは以下の通りです。

現在の状態 - 状態遷移表のオプションの「選択された遷移に関係する状態を明示」で指定された色で表示されます。
次に性のある状態 - 「対象の状態を別の色で表示」の色で表示されます。未指定の場合、「選択された遷移に関係する状態を明示」で指定された色で表示されます。
遷移可能な遷移 - 「遷移セル」で指定された色で表示されます。
トリガ - 「選択された遷移に関係する状態を明示」で指定された色で表示されます。
上記に該当しない状態 - 灰色で表示されます。

例:

トリガの発行

ステートマシン図でシミュレーションを実行している場合と同様に、シミュレーションの実行中は、ガード条件がない遷移やガード条件を満たす遷移を自動的に辿ります。トリガが関連づけられている遷移については、トリガが発行されるまで辿りません。ステートマシン図でのシミュレーションと同様に、シミュレーショントリガサブウィンドウからトリガを発行することで、状態遷移表でのシミュレーションを制御できます。状態遷移表の場合には、トリガのセルを右クリックしてトリガを発行できます。

参照: