如何用UML用例图建模信用卡处理的分支场景？

先澄清一个关键误区：用例图的核心是描述参与者（外部角色）与系统之间的「价值交互目标」，而不是系统内部的细粒度分支逻辑。你纠结的二选一场景，其实不需要在图上画成两个互斥用例，而是通过「主用例+扩展用例+用例描述」的组合来表达。

1. 先明确核心元素 #

• 参与者：比如「顾客」（发起支付的外部角色），如果是商户端操作，也可以是「POS操作员」
• 主用例：使用信用卡完成支付——这是参与者的核心目标，不管成功失败，参与者的初衷都是完成支付

2. 用extends关系表达异常分支 #

你之前对extends关系的理解有点偏差：extends的本质是「当特定触发条件满足时，扩展用例会插入到主用例的执行流程中，替代主用例的部分/全部后续步骤」，而不是简单的「A发生则B也可发生」。

针对你的场景：

• 创建扩展用例：信用卡验证失败，用箭头指向主用例使用信用卡完成支付，标注<<extends>>
• 给这个扩展用例加上触发条件：「信用卡被拒（验证未通过）」
• 主用例的正常路径描述：当信用卡验证通过时，系统扣除指定金额，完成支付
• 扩展用例的行为描述：弹出信用卡，向用户提示支付失败

这样就自然表达了二选一的逻辑：要么主用例正常走完扣款流程，要么触发扩展用例执行弹出卡片的异常流程——因为触发条件是互斥的，两个路径不会同时发生。

3. 用例图该表达/省略什么？ #

这也是你困惑的核心，记住两个原则：

• 必须表达的：参与者的核心目标（主用例）、核心目标的可选/异常变体（扩展用例）、角色与用例的关联关系
• 应该省略的：系统内部的分支判断、具体的操作步骤（比如「插入信用卡」「输入密码」这类细节）——这些内容应该写在用例的文字描述文档里，或者用活动图、序列图来补充建模（这两种图才是用来表达流程分支的）

举个用例描述的示例：

主用例：使用信用卡完成支付
前置条件：顾客已选好商品，POS系统已生成订单金额
基本流程：

1. 顾客插入信用卡
2. 系统验证信用卡有效性
3. 若验证通过，系统从信用卡扣除订单金额
4. 系统打印支付凭证，流程结束
   扩展流程（触发条件：步骤2验证失败）：
5. 触发信用卡验证失败扩展用例
6. 系统弹出信用卡，显示「支付失败，请更换卡片」提示
7. 流程结束

内容的提问来源于stack exchange，提问作者ngmir