シーケンス図において、ループの継続条件を記述するための正しい形式はどれか。

ステートマシン図において、ある状態の内部に複数の独立した「直交領域」がある場合、それらはどのように動作するか。