<< 目次を表示 >> ページ位置:  シミュレーション > 外部実行の状態マシン > 入場点と退場点

外部実行の状態マシンのシミュレーション機能では、入場点と退場点要素や定義との参照設定を利用することもできます。この内容について、下の図のような具体的な例で説明します。

 

 

 

• State1はコンポジット状態であり、3つの領域RegionA, RegionB, RegionCを持っています。

• State2はSubMachineを呼び出す状態マシンの呼び出し状態であり、状態マシンには3つの領域RegionX, RegionY, RegionZを持ちます。
• State1のEntryPoint1は2つの領域につながる入場点です。同様に、SubMachineのEntryPoint2は2つの領域につながる入場点です。
• State1には退場点ExitPoint1が定義され、SubMachineには2つの退場点 ExitPoint2 と ExitPoint3 が定義されています。
• State2が持つ入場点・退場点はSubMachineが持つ入場点・退場点に参照設定されています。
• 初期状態を、既定の領域を示すために利用しています。

 

 

入場点に入る場合の動作

State1のEntryPoint1

遷移がEntryPoint1に到達すると、State1がアクティブになります。

 

 

• RegionAとRegionBは入場点からの遷移先となっているので、明示的にアクティブになります。
• RegionCには初期状態があるので、State1がアクティブになると暗黙的にこの領域もアクティブになります。

 

SubMachineのEntryPoint2

シミュレーションを継続するために、トリガEVENT_Cとトリガ EVENT_Aをこの順番で実行します。

State2の入場点CPR_Entryに遷移すると、State2がアクティブになります。これにより、参照設定されているSubMachineに処理が移ります。

 

 

• RegionXとRegionYは入場点からの遷移先となっているので、明示的にアクティブになります。
• Regionzには初期状態があるので、State2アクティブになると暗黙的にこの領域もアクティブになります。

 

 

領域内への直接遷移

領域内の状態への遷移が行われると、その状態が持つ領域はアクティブになります。

 

State2への既定の遷移

シミュレーションを継続するために、トリガEVENT_Aとトリガ EVENT_Cをこの順番で実行します。

この場合は、State2への遷移が有効となりますので、State2がアクティブになり、初期状態を持つ領域がアクティブになります。

 

 

• RegionXの内容が実行されないのは、初期状態要素が配置されていないからです。
• RegionYは初期状態を持つためアクティブとなり、初期状態につながるStateY2に遷移します。
• RegionZも初期状態を持つためアクティブとなり、初期状態につながるStateZ2に遷移します。

 

 

状態から抜ける場合の動作

 

State1からの退出

• トリガを [EVENT_C, EVENT_A]: の順番で実行した場合にはRegionCが最初に非アクティブとなり、その後RegionAとRegionBが非アクティブになります。State1のexitアクションが実行された後は、退場点ExitPoint1が有効になります。
• トリガを [EVENT_A, EVENT_C]: の順番で実行した場合にはRegionA と RegionBが最初に非アクティブとなり、その後RegionCが非アクティブになります。State1のexitアクションが実行された後は、State1からの遷移が有効になります。

 

State2からの退出

トリガを [EVENT_C, EVENT_A] の順番で実行した場合には、次のようになります。

 

 

• トリガを [EVENT_A, EVENT_C, EVENT_C, EVENT_B, EVENT_B]:の順番で実行した場合には、 RegionX が最初に非アクティブとなり、その後 RegionYが非アクティブとなり、最後に RegionZが非アクティブになります。State2のexitアクションを実行後には、 State2から出る遷移が有効になります。
• トリガを [EVENT_A, EVENT_B, EVENT_B, EVENT_C, EVENT_C]:の順番で実行した場合には、 RegionX が最初に非アクティブとなり、その後 RegionZが非アクティブとなり、最後に RegionYが非アクティブになります。State2のexitアクションを実行後には、退場点CPR_Exit3が有効になります。
• トリガを [EVENT_C, EVENT_C, EVENT_B, EVENT_B, EVENT_A]:の順番で実行した場合には、 RegionY fが最初に非アクティブとなり、その後 RegionZが非アクティブとなり、最後に RegionXが非アクティブになります。State2のexitアクションを実行後には、退場点CPR_Exit2が有効になります。