HOMELv023 OCLにおける「メッセージ式（Message Expression）」で、送信されたメッセージが値を返したかどうかを確認する操作はどれか。 2026年1月25日 OCLのメッセージ検査機能（OclMessage）において、`hasReturned()` は同期呼び出しなどが完了して戻り値が存在する場合にtrueとなる。 OCLの `isUnique` 操作は、何を確認するものか。 「UML Infrastructure」仕様書と「UML Superstructure」仕様書が統合され、単一の仕様書となったのはUMLのどのバージョンからか（目安）。
