[状態マシン図] 遷移 と イベント[ガード]/アクション

UML2.0 State Machine (状態機械) モデルでは、
遷移には、イベント(トリガ)とガードとアクションがそれぞれ０個または１個設定できます。


遷移に、
イベント [ガード] / アクション
と書きます。


ですが、遷移がどの状態または疑似状態を始点とするかによって、イベントが設定できないところ、ガードが設定できないところ、があります。次の状態マシン図は、それを説明するために設定できるところは全部設定してみた図です。

e[g]/aは全部を設定できるところ、
[g]/aはガードとアクションだけ設定できるところ、
/aはアクションだけを設定できるところです。

★はもし、状態の中の終了条件が成立し次第、
その状態を退場して遷移したい場合、イベントもガードも設定しないことを示しています。

s18サブマシン状態の下位状態です。

ルールを文章で書くとこうなります。

/アクションのみしか設定できないところ

1. 開始疑似状態を始点とする遷移
2. 履歴疑似状態を始点とする遷移
3. 状態を始点とする遷移のうち、その状態を完了遷移で退場させたい遷移 ★
4. フォーク疑似状態を始点とする遷移
5. ジョイン疑似状態を始点とする遷移
6. 入場点を始点とする遷移
7. 退場点を始点とする遷移

[ガード] / アクション のみ設定できるところ

1. 選択疑似状態を始点とする遷移
2. ジャンクション疑似状態を始点とする遷移

イベント [ガード] / アクション を設定できるところ

1. 状態を始点とする遷移　（★を除く）

状態マシン図をレビューするときは、このこともレビュー観点にいれておきましょう。