UML 2.5において、操作(Operation)が副作用を持たない(状態を変更しない)ことを示す属性はどれか。

isQueryがtrueの操作は、システムの観測可能な状態を変更しない(読み取り専用である)ことが保証される。