UMLのメタモデルにおいて「Generalization」関係が持つ「isSubstitutable」属性の意味はどれか。

2026年1月25日

リスコフの置換原則（LSP）に相当し、セマンティクス上の代入可能性を定義する。

OCL式「Set{1,2,3}->sortedBy(e | -e)->first()」の結果はどれか。

OCLにおいて、2つの「Tuple」が等しいと判定される条件はどれか。