HOMELv024 ステートマシン図の「深い履歴（Deep History, H*）」は、何階層下まで状態を記憶・復元するか。 2026年1月25日 深い履歴（H*）は、そのコンポジット状態に含まれる、どんなに深くネストされたサブ状態の構成であっても、最後にアクティブだった構成をすべて復元する。 関連クラス（Association Class）が自分自身に関連付けられている（自己関連）場合、インスタンスレベルではどのような制約が発生するか。 OCLの `implies` 演算子（含意）において、`A implies B` が False になるのはどの場合か。
