一、什么是形式化方法形式化方法是软件工程里一种用数学和逻辑来描述、验证系统的开发方法核心就是用严谨的数学语言替代模糊的自然语言让系统的需求、设计和验证过程都有 “数学依据”。1. 核心特点消除歧义把业务需求、系统行为转化为数学模型避免文字描述带来的理解偏差。提前排错在设计阶段就能通过数学推导、模型检查验证系统的安全性和可靠性减少后期返工。高可靠场景必备航空航天、医疗设备、金融系统等对安全性要求极高的领域都离不开形式化方法的验证。2. 常见类型类型简单说明形式化规格说明用数学语言定义系统 “应该做什么”比如 Z 语言、VDM 方法模型检查自动遍历系统所有状态验证是否满足预设规则定理证明用逻辑推理证明系统满足特定性质二、《大象Thinking in UML》阅读笔记这本书是国内学习 UML 的经典入门书它不只是教你画 UML 图更重要的是教你面向对象分析与设计的思维方式帮你理解如何用 UML 工具建模真实业务系统。1. 这本书的核心亮点不教死语法先讲业务从真实业务场景出发先帮你理解业务流程和需求再讲用 UML 怎么建模不会让你 “为了画图而画图”。案例驱动通俗易懂用订单管理、权限系统等常见业务案例把抽象的 UML 概念讲得很明白新手也能看懂。强调建模思维告诉你 “为什么画这张图”“这张图在系统设计里的作用”而不是死记硬背画图规则。2. 核心内容梳理1面向对象分析OOA教我们如何从业务需求里识别参与者、用例和业务流程提炼出系统里的对象、属性和行为搭建清晰的业务模型。2UML 核心图的应用场景UML 图简单作用学习重点用例图定义系统功能边界明确 “谁用系统、做什么”如何识别参与者和用例避免用例划分太粗或太细类图描述系统的静态结构类与类之间的关系关联、依赖、继承、聚合 / 组合的区别如何从业务中提炼类时序图描述对象之间的交互流程和消息传递顺序梳理业务流程明确对象间的协作逻辑状态图描述对象的状态变化、触发条件和动作订单、用户等业务对象的生命周期建模3建模的核心原则以业务为中心建模不是为了画好看的图而是为了理解业务、和团队沟通需求。迭代式建模先搭粗粒度的模型再逐步细化不用追求一步到位。文档化沟通UML 图是团队沟通的统一语言清晰一致的模型能减少很多理解偏差。3. 学习体会通过阅读这本书我发现 UML 不只是画图工具更是面向对象设计的思维载体它帮我们把模糊的业务需求转化为清晰、可落地的设计模型。同时我也理解了UML 是一种半形式化的建模语言而形式化方法是它的 “严谨升级版”用数学语言实现更严格的验证这两种方法都是软件工程里保证系统质量的重要手段。