HOMELv003 UML 2.xのメタモデル構造において、抽象構文を定義しているパッケージはどれか。 2026年1月25日 InfrastructureはUMLの基盤となる抽象構文を定義している。 OCL式「context Person inv: self.age >= 0」の意味はどれか。 OCLのコレクション演算において、要素の重複を許さない集合を表す型はどれか。