UMLにおいて、ある要素が別の要素の仕様を実装していることを示す抽象的な関係はどれか。

ステートマシンにおいて、状態遷移の際に一時的に遷移を停止し、特定の地点から再開するために使われる疑似状態はどれか。