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