如何在序列图中表示无限循环？采用(1..*)迭代或[true]条件是否可行？

结合UML 2.0序列图规范，你提到的两种实现思路都具备合规性，但需要结合场景语义调整，避免读图歧义。

两种思路的适用性辨析 #

• 关于标注(1..*)的方式：这是UML规范中针对无上限循环的标准迭代范围写法。其中*符号本身就代表“迭代次数无预设上限”，搭配成(1..*)的意思是“循环至少触发1次，后续重复执行没有次数限制”，完全匹配登录场景的语义——用户至少会发起1次登录请求，失败后可以无限制重试，比单独写*更贴合实际业务逻辑，不会出现“循环0次也合规”的语义偏差。
• 关于设置[true]作为循环条件的方式：这也是符合规范的写法。循环组合片段（loop Combined Fragment）的守卫条件写[true]的含义是“在当前交互上下文下，片段内的流程会持续重复，没有预设的退出阈值”。但这种写法存在语义歧义：读图的人很容易误以为是“没有任何终止条件的永久死循环”，如果要使用这种写法，必须补充明确的终止说明，不能只孤零零放个[true]。

登录重试场景的具体实现步骤 #

1. 定位序列图中“用户提交登录凭证-系统返回校验结果”的完整交互链路，给这部分交互套上标准的loop组合片段（即用大矩形框将整段交互包裹，框体左上角预留标注位置）。
2. 根据你要传递的语义选择对应的标注方式：
   • 优先推荐使用迭代范围标注：在框体左上角的loop标识后，直接标注(1..*)，不需要额外加守卫条件。这种写法语义清晰、没有歧义，符合大多数建模工具的默认识别逻辑。
   • 如果选择条件守卫的写法，不建议直接用[true]简化，更合理的写法是将守卫条件设为[用户未主动退出登录页 且 身份校验未通过]；如果为了简化标注必须用[true]，一定要在框侧加注释：注：循环终止节点为用户登录成功跳转主页，或用户主动关闭登录入口，不存在无意义的持续运行。

实现时的常见注意事项 #

• 不要在同一个loop片段里同时叠加两种标注（即同时写(1..*)和[true]），会造成语义冗余，让读图的人无法判断核心逻辑。
• 不要为了强调“无限重试”就完全省略终止边界：无上限的重试次数不代表循环没有退出节点，必须在图中明确标注两个终止触发点，避免被误解为系统层面的无意义死循环。
• 适配不同建模工具的语法：比如PlantUML中直接写loop 1..*即可自动生成符合规范的循环片段；手绘类建模时，只要将(1..*)紧跟在loop标识后放置，就满足UML规范的可读性要求。

内容的提问来源于stack exchange，提问作者it20024772 Rupasinghe J.D.