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