HOMELv020 ステートマシン図において、擬似状態「チョイス(Choice)」から出る複数の遷移のガード条件がすべて偽(false)だった場合、何が起こるか。 2026年1月25日 動的な分岐であるチョイスにおいて、どのガードも真にならない場合、遷移はブロックされる(通常は設計ミス)。`[else]` ガードを持つ遷移を定義しておくことが推奨される。 プロパティの「サブセッティング({subsets})」とはどういう意味か。 シーケンス図の複合フラグメント `seq`(Weak Sequencing)において、異なるライフライン上のイベント間の順序関係はどうなるか。