OCLにおいて「invalid or true」の結果はどうなるか。

2026年1月25日

OCLの論理演算は「Short-circuit」的であり、一方がtrueであれば他方がinvalidでもtrueになる。

OCLの「product」演算の結果として生成されるコレクションの型はどれか。

UMLメタモデルにおいて、ユースケース図の「包含（Include）」関係のソース側になれるものはどれか。