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

某图书馆图书借阅系统中，“处理借阅请求”活动建模如下：开始节点后进入“扫描读者证”，随后进入一个判断节点：若读者欠款则转入“提示缴费”，缴费完成后汇合；若不欠款则直接通过；两条路径汇合后进入一个同步分叉，同时启动“校验图书状态”与“扣减可借额度”两个动作，二者全部结束后经过同步汇合进入“打印凭据”，最后到达活动终点。关于该活动图中各建模元素的对应关系，下列说法正确的是： A. “判断节点”用于汇聚多条路径，实现同步；“同步分叉”用于按条件选择唯一出口路径 B. “提示缴费”后汇合与“不欠款”直接通过这一结构体现了互斥分支，每 次执行只走其中一条路径，而分叉后的两个动作在同一实例中并发执行 C. 分叉后的“校验图书状态”与“扣减可借额度”是互斥分支，系统每次只执行其中一个 D. “开始节点”可以有多个，“活动终点”只能有一个，且分叉节点必须成对出现才能保证流程终止