HOMELv042 「QVT-Relations」において、2つのモデル要素が同じであることを示すための「when句」内の条件式を何と呼ぶか。 2026年1月25日 when句はリレーションの「前提条件（Precondition）」を記述し、マッチングの成否を決定する。 UML 2.5において「Classifier」を継承しないものはどれか。 OCLにおいて「allInstances()」をサポートしていない基本的な型はどれか。
