一、实践目标本次实践主要包含两个学习任务理解软件工程中的形式化方法及其在 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 完成系统建模。