クラス図において、属性が「派生属性（Derived Attribute）」であることを示す記号「/」は、属性定義のどこに記述するか。

ステートマシン図において、その状態に到達するとステートマシンを持つオブジェクト自体が消滅することを表す疑似状態はどれか。