HOMELv011 OCL式「context Class inv: self.attribute->notEmpty()」において、attributeが単一値（多重度0..1）の場合の結果はどうなるか。 2026年1月25日 多重度が0..1の属性はOCL上では要素数0または1のコレクションとして扱われるため、nullチェックとして機能する。 UMLのメタモデルで、値（Literal）を表すメタクラスの親クラスはどれか。 OCLで「Sequence{1,2,3}->subSequence(2, 3)」の結果はどうなるか。
