HOMELv030 UML仕様書（Infrastructure/Superstructure時代、あるいは現在の統合仕様）において、`Class` や `Association` などの定義は、自分自身（UML）を使って記述されている。このアプローチを何と呼ぶか。 2026年1月25日 UMLの仕様はUML自身（正確にはMOFのサブセットとしてのクラス図）を用いて定義されており、これをメタモデリングまたは4層メタモデルアーキテクチャによる定義と呼ぶ。 汎化セット（Generalization Set）の「パワータイプ（PowerType）」記法において、` : PowerTypeClassName` というラベルはどこに記述されるか。 OCL（Object Constraint Language）において、不変条件（Invariant）を指定するためのキーワードはどれか。
