HOMELv045 UMLにおいて、ある要素が「Abstract（抽象）」である場合、インスタンス化の制限はメタモデルのどこで定義されているか。 2026年1月25日 メタモデルの仕様（意味論）において、isAbstractが真の分類子は直接インスタンス化できないと定められている。 OCL式「-3.5.abs().floor()」の結果はどれか。 OCLにおいて、2つのOrderedSetの和集合「union」をとった際の結果の順序はどうなるか。
