HOMELv024 UMLのメタモデルにおいて、ガード条件や不変条件の実体となる「Constraint」が所有する「論理式」の型はどれか。 2026年1月25日 Constraintは、評価される内容をValueSpecificationとして保持する。 OCLの「any」演算において、条件を満たす要素が複数ある場合、どの要素が返されるか。 OCLで、入れ子のコレクション「Sequence{Set{1,2}, Set{2,3}}->flatten()」の結果はどうなるか。