一、实践目标
本次实践主要包含两个学习任务：
理解软件工程中的形式化方法及其在 Java 开发中的作用。
阅读《大象：Thinking in UML》一书，总结面向对象建模的核心思想。
二、形式化方法学习总结
2.1 什么是形式化方法
形式化方法是软件工程中以数学理论为基础的系统开发与验证方法。其核心特点是使用严谨、无歧义的数学语言和逻辑来描述软件系统的需求、设计与行为，从而减少开发过程中的不确定性和人为错误。
2.2 在 Java 面向对象开发中的作用
形式化方法在 Java 开发中主要发挥三方面作用：
| 阶段 | 作用说明 |
|---|---|
| 需求定义 | 避免自然语言描述的模糊性，确保需求表达清晰、准确 |
| 设计建模 | 对 UML 等模型进行一致性检查，提前发现逻辑矛盾 |
| 系统验证 | 对关键业务逻辑进行形式化验证，提升系统可靠性（尤其适用于安全要求高的场景） |
三、《大象：Thinking in UML》读书心得
3.1 书籍定位
这本书并非单纯的 UML 符号工具书，而是围绕面向对象分析与设计思想展开，将 UML 作为表达工具，讲解如何从业务需求中提炼对象、梳理关系，最终形成清晰的系统模型。
3.2 主要收获
通过阅读，我对 UML 和面向对象建模有了新的理解：
UML 的本质：不是“画图”，而是通过图形化方式梳理和表达面向对象的设计思路，帮助开发者理清业务逻辑，避免后续开发思路混乱。
建模过程：书中通过大量实例，展示了从需求分析到系统设计的完整建模流程。我认识到，面向对象设计不是简单的类和方法定义，而是要结合业务场景，合理运用封装、继承、多态等原则，构建结构清晰、易于维护的系统。
建模的价值：前期建模工作能显著提升后续代码实现的效率和质量。清晰的模型可以减少开发返工，也便于项目的后续维护与迭代。
四、学习总结与展望
通过本次学习，我对以下两方面建立了基础认知：
形式化方法：为软件开发提供了严谨的思维方式，有助于提升需求、设计与验证环节的准确性。
UML 建模（《大象：Thinking in UML》）：让我理解了如何用面向对象的思路，通过 UML 完成系统建模。
