HOMELv006 シーケンス図において、特定の相互作用が「必ず成立しなければならない（無効な場合はエラー）」ことを示す演算子はどれか。 2026年1月25日 assert（表明）は、そのオペランド内の相互作用が唯一の有効な振る舞いであり、それ以外は無効（エラー）であることを示す。 ステートマシン図において、浅い履歴（Shallow History）と深い履歴（Deep History）の違いはどれか。 コンポーネント図や配置図において、成果物（Artifact）が特定のモデル要素（コンポーネントなど）の実装であることを示す関係はどれか。
