HOMELv002 OCL式「context Person inv: self.age >= 18」の意味として正しいものはどれか。 2026年1月25日 inv(不変条件)は、システムの状態に関わらず常に真でなければならない条件を定義する。 UMLのメタモデルにおいて、すべてのモデル要素の共通の親となる抽象メタクラスはどれか。 クラス図における「パワータイプ(PowerType)」の説明として適切なものはどれか。