HOMELv028 OCL式 `context Person inv: self.wife.husband = self` は何を検証しているか。 2026年1月25日 「自分の妻の夫は自分自身である」という条件は、関連が正しく双方向にリンクされているか（整合性が保たれているか）をチェックする典型的な不変条件である。 「レイヤ（Layer）」アーキテクチャパターンをUMLパッケージ図で表現する際、下位レイヤが上位レイヤに依存しない（逆依存がない）ことを検証するためにチェックすべき関係はどれか。 UMLメタモデルにおいて、`Activity`（アクティビティ）は `Class`（クラス）のサブクラスであるか？
