ステートマシン図において、擬似状態「チョイス(Choice)」から出る複数の遷移のガード条件がすべて偽(false)だった場合、何が起こるか。

動的な分岐であるチョイスにおいて、どのガードも真にならない場合、遷移はブロックされる(通常は設計ミス)。`[else]` ガードを持つ遷移を定義しておくことが推奨される。