ステートマシン図において、遷移の実行条件を記述する[ ]内の式を何と呼ぶか。

2つのクラス間に「1」対「0..*」の関連がある場合、1側のオブジェクトが削除された時の0..*側の挙動を定義する概念はどれか。