ステートマシン図における「ジャンクション（Junction）」と「チョイス（Choice）」の違いで、正しい記述はどれか。

ジャンクション（黒丸）は複合遷移の一部として、遷移が発火する前に全てのガード条件が評価される（静的）。チョイス（菱形）は遷移が到達した時点でガード条件が評価される（動的）。