活动图的组成要素与分支分叉 — 软件工程选择题

某在线订单系统中，订单对象经过「已创建」「待支付」「已支付」「已发货」「已完成」等状态。在绘制其状态图时，从「待支付」状态出发需要根据支付结果进行判断：支付成功则迁移到「已支付」，支付超时则迁移到「已创建」。关于该状态图应使用的建模元素，下列说法正确的是：A. 使用一个判定（决策）节点引出两条带守卫条件的迁移，分别标注［支付成功］和［支付超时］ B. 使用一个分叉（fork）节点将迁移拆分为「已支付」和「已创建」两条并发路径 C. 使用一个汇合（join）节点将两条迁移合并后进入「已支付」 D. 使用两个初始节点分别表示支付成功和支付超时两种起点