HOMELv032 OCLにおいて「invalid implies true」の結果はどうなるか。 2026年1月25日 ならば（implies）において、結論側がtrueであれば、仮定が何（invalid含む）であっても結果はtrueとなる。 OCL式「Set{1,2,3}->excludingAll(Set{2,3,4})」の結果はどうなるか。 UMLにおいて、システムの外部境界とそこでの入出力を表現する「ユースケース」の親クラス（メタクラス）はどれか。
