HOMELv011 OCLで「Sequence{1,2,3}->subSequence(2, 3)」の結果はどうなるか。 2026年1月25日 subSequence(lower, upper)は、指定された範囲の要素を含む部分列を返す。 OCL式「context Class inv: self.attribute->notEmpty()」において、attributeが単一値(多重度0..1)の場合の結果はどうなるか。 UMLのメタモデルにおいて「GeneralizationSet」の役割はどれか。