シーケンス図において、条件分岐を表す `alt` フラグメントの各オペランド(区画)に記述される「ガード条件」は、どのタイミングで評価されるか。

制御フローが `alt` フラグメントに到達した時点で各ガードが評価され、真となるオペランド(通常は1つ)が実行される。