HOMELv010 UMLにおいて、特定の条件下でのみ有効な制約を定義するメタクラスはどれか。 2026年1月25日 GuardやInvariantはセマンティクス上の役割名であり、メタモデル上の実体はConstraintである。 OCLの「Closure」演算の説明として適切なものはどれか。 OCLで「Set{1,2,3}->one(e | e > 1)」の評価結果はどれか。