HOMELv046 OCLにおいて「invalid and true」の結果はどうなるか。 2026年1月25日 論理積（and）では、一方がtrueでも他方がinvalidであれば全体の結果を確定できないためinvalidとなる。 OCLにおいて、2つのOrderedSetの和集合「union」をとった際の結果の順序はどうなるか。 UMLメタモデルにおいて、属性（Property）の「isComposite」が真（true）である場合の意味はどれか。
