状態間の遷移の作成
UML モデリングでは、
状態マシン図に遷移を追加することで、オブジェクトの状態の変化を
表示することができます。トリガー、ガード条件、および効果が、
遷移の 3 つのオプション・パーツです。
遷移を開始するためには、イベントが発生する必要がある、
ということを示すには、遷移にトリガーを追加します。
遷移が発生するためには、特定のブール条件が true になる必要がある、
ということを示すには、遷移にガード条件を追加します。
ガード条件が満たされたとき、
オブジェクトによって特定のアクティビティーが実行される、
ということを示すには、遷移に効果を追加します。