HOMELv025 状態遷移図において、状態の中に「do / アクティビティ」がある。このアクティビティが終了する前に外部遷移が発生した場合、どうなるか。 2026年3月17日 doアクティビティは、状態遷移(外部イベント等)によってその状態を離れる際に強制的に中断される。 アクティビティ図において、フローの「ガード条件」が評価される正確なタイミングはいつか。 シーケンス図において、メッセージの戻り値(応答)を表現する破線の矢印は、どのタイミングで描くべきか。