HOMELv040 ステートマシン図の「浅い履歴（Shallow History）」が、直交状態（並行領域を持つ状態）内に配置された場合、どのような挙動を示すか。 2026年1月25日 履歴擬似状態は、それが置かれた特定の領域（Region）の履歴を管理するものであり、他の並行領域の状態復元はそれぞれの領域の履歴設定に委ねられる。 アクティビティ図の「条件分岐ノード（Conditional Node）」は、`switch` 文や `if-else` 文のように、条件（Clause）と実行部分（Body）を持つが、複数の条件が同時に真になった場合の動作はどれか。 シーケンス図において、状態不変式（State Invariant）が複数のライフラインにまたがって描画されている場合（ノートのような表記）、その意味はどれか。
