UML 2.5において、状態マシンの「遷移（Transition）」において移動を許可するか判定する属性はどれか。

OCLにおいて、実数（Real）を整数（Integer）に変換する際、最も近い整数に丸める演算はどれか。