HOMELv046 OCLにおいて、2つのOrderedSetの和集合「union」をとった際の結果の順序はどうなるか。 2026年1月25日 OrderedSetのunionは、重複を除きつつ左辺の順序、その後に右辺の新規要素の順序を維持する。 UMLにおいて、ある要素が「Abstract（抽象）」である場合、インスタンス化の制限はメタモデルのどこで定義されているか。 OCLにおいて「invalid and true」の結果はどうなるか。
