HOMELv039 OCLにおいて「Sequence{1,2,3}->subSequence(3, 2)」の結果はどうなるか。 2026年1月25日 subSequence(lower, upper)において、lowerがupperより大きい場合はエラー(invalid)となる。 OCLにおいて、2つのオブジェクトが同一(同じメモリアドレス/ID)であることを確認する演算はどれか。 UML 2.5において、ステレオタイプを適用した要素から特定のタグ付き値「val」を取得する正しいOCL記法はどれか。