OCLにおいて、キャスト（型変換）を行うための操作 `oclAsType(Type)` の挙動として正しいものはどれか。

`oclAsType` は、オブジェクトの動的な型が指定された型に適合する場合にのみキャストを行い、適合しない場合はエラー（invalid）となる。