HOMELv040 シーケンス図において、状態不変式（State Invariant）が複数のライフラインにまたがって描画されている場合（ノートのような表記）、その意味はどれか。 2026年1月25日 複数のライフラインにかかる状態不変式は、それら全てのオブジェクトに対する複合的な制約（同期状態など）を表す。 ステートマシン図の「浅い履歴（Shallow History）」が、直交状態（並行領域を持つ状態）内に配置された場合、どのような挙動を示すか。 コンポーネントの「ホワイトボックス（White-box）」ビューとは、何を示すものか。
