HOMELv055 OCLにおいて、コレクション「s」の全要素が異なることを確認する「isUnique」を空のコレクションに適用した結果はどれか。 2026年1月25日 空のコレクションには重複が存在し得ないため、数学的定義に従いisUniqueはtrueを返す。 UML 2.5において、ある分類子（Classifier）が「抽象（isAbstract = true）」である際、インスタンス化について何が言えるか。 「QVT-Relations」において、リレーションの実行を制御する「when句」の役割はどれか。
