HOMELv028 「レイヤ（Layer）」アーキテクチャパターンをUMLパッケージ図で表現する際、下位レイヤが上位レイヤに依存しない（逆依存がない）ことを検証するためにチェックすべき関係はどれか。 2026年1月25日 レイヤアーキテクチャでは、依存の矢印は「上位から下位」へのみ向かうべきであり、下位パッケージから上位パッケージへの依存（循環依存）がないことを確認する。 OCLの `iterate` 式において、結果の型（戻り値の型）は何によって決まるか。 OCL式 `context Person inv: self.wife.husband = self` は何を検証しているか。
