作业 形式化方法与UML

一、什么是形式化方法

形式化方法是一种基于严格数学逻辑的软件工程方法，用于对系统进行描述、建模和验证。

核心特点：

1. 以数学语言精确描述系统需求与行为，消除自然语言的歧义。
2. 支持通过逻辑推导、模型检测等方式，证明系统的正确性。
3. 多用于航空航天、医疗设备、金融系统等高安全、高可靠场景。

二、《大象——thinking in UML》简介

这是一本面向对象分析与设计的经典书籍，重点不是教你怎么画UML图，而是传递面向对象的建模思维。

核心价值：

1. 讲解如何从业务需求出发，逐步梳理系统逻辑，构建合理模型。
2. 通过完整案例演示UML在项目中的实际应用，让模型真正服务于沟通与设计。
3. 帮助建立“用模型理解系统”的思维，而不是为了画图而画图。

小结

形式化方法与UML建模，本质上都是用更精确的方式描述系统：

• 形式化方法偏向数学验证，追求绝对的严谨与可靠。
• UML偏向工程实践与沟通，帮助团队更好地理解和设计系统。