HOMELv012 状態から出ている「ガード条件のない遷移」が複数ある場合、どうなるか。 2026年3月17日 同じイベントで複数の遷移が可能かつガードがない場合、動作は非決定的になる。 一つのアクションの実行が終わった後に自動的に次のアクションへ移る矢印はどれか。 シーケンス図で、同期メッセージの返信を表す線の形式はどれか。