HOMELv025 アクティビティ図において、フローの「ガード条件」が評価される正確なタイミングはいつか。 2026年3月17日 ガード条件は、上流からトークンが移動しようとした瞬間に評価され、通過の可否が決定される。 要件図において、「検証(verify)」関係のサプライヤ(矢印の先)が「要件」である場合、これは標準的な向きか。 状態遷移図において、状態の中に「do / アクティビティ」がある。このアクティビティが終了する前に外部遷移が発生した場合、どうなるか。