[状態マシン図] UML2.0 状態機械モデル #状態マシン図

UML2.0 (UML2.4.1) State Machine (状態機械) モデル

UML状態機械は、その仕様がクラス図を使って定義されている。

この図を読んでみよう。
読む前に、クラス図での多重度のおさらい。

多重度	意味
1	1個のみ
*	0個以上
0..*	0個以上
0..1	0個か1個
1..*	1個以上

＊が0個以上と読めればとりあえずOK。

まず、図の上側中央、状態機械から領域に延びる関連を見る。（以下同様にクラスをたどる）
状態機械は領域を１つ以上もっている。
領域は、０個以上の節点と、０個以上の遷移をもっている。
節点のなかまには、疑似状態と状態がある。（2.と合わせて、領域には０個以上の状態がある）
節点には、入ってくる遷移が複数と、出てゆく遷移が複数ある。１つの遷移にはソース（遷移元）の接点と、ターゲット（遷移先）の接点がある。
入ってくる遷移も出てゆく遷移もないような節点はありえないが、クラス図の多重度表現では複数の多重度にまたがる制約は表現できない。
遷移には、ガードが０個か１個ある。
つぎに状態を見る。
状態は、内部にインスタンス変数があり、合成状態かどうか、合成直交状態かどうか、単純状態かどうか、サブマシン状態かどうか、それぞれ真偽値をとる。クラス図には表現できないが、全部の場合があるわけではなく、たとえば、単純状態と合成状態とサブマシン状態は排他的である。合成状態は、合成直交状態でない場合（領域が１個だけ）と合成直交状態（領域が複数）である場合とある。
状態には領域が０個以上ある。
状態には、入場振る舞いが０個か１個ある。退場振る舞いとdoアクティビティも同様。
最終状態は、状態のなかまである。
状態は、たくさんの疑似状態を含んでいる。開始疑似状態など。
状態がサブマシン状態を含む場合（親の場合）と、サブマシン状態であった場合（子の場合）を見る。
状態から左下に出て左端を上昇し状態機械へ入っている関連を見る。
状態は０個か１個の状態機械を持つ。
状態機械を持っているとき、その役割名は、サブマシンである。
サブマシンである、状態機械には、１つ以上の領域がある。(領域は2.へ）
状態は、connectionPoint 接続点を０個以上持てる。接続点は疑似状態であって、入場点や退場点などである。
状態機械も、connectionPoint 接続点を０個以上持てる。接続点は疑似状態であって、入場点や退場点などである。
状態は connection 接続点参照を複数もつことがある。
「接続点参照は、下位機械の状態から参照される状態機械内で定義される入場／退場点の使用を表す」ものである親子間のリンクである。親と子の間で互いに参照できる関係がある、という意味であろう。
１つの接続点参照は、０個以上複数の入場点と、０個以上複数の退場点を持てる。