OCLで、あるオブジェクトが特定の状態(State)にあるかどうかを判定する操作はどれか。

oclIsInState(stateName) 操作を用いることで、ステートマシンで定義された特定の状態にいるかを確認できる。