比如一个 “用户下单” 的场景，用自然语言描述，十个人可能有十种理解，但用 UML 时序图画出来，谁调用谁、谁和谁交互，一眼就能看明白，这和形式化方法 “消除歧义” 的目标是完全一致的，只是 UML 更偏向业务建模，形式化方法更偏向数学验证。用户需要系统帮他做什么？很多人以为模型是 “一次性画好，之后照着写代码就行”，但书里说，模型是从高层到低层逐步细化的：需求阶段的用例模型、分析阶段的交互模型、