HOMELv042 UMLにおいて、あるクラスのインスタンスが生成された際に実行される「初期化」の振る舞いを指定する属性はどれか。 2026年1月25日 メタモデル上の属性値としてではなく、OCLなどの制約言語を用いて初期状態を記述するのが一般的。 OCL式「Set{1,2,3}->forAll(e1, e2 | e1 <> e2)」を評価した際、要素が3つの場合の結果はどうなるか。 OCLにおいて、コレクション「s」が「重複する要素を少なくとも1組持っている」ことを確認する式はどれか。
