什么是形式化方法

首先，需要对形式化方法有一个概念：形式化方法，也称形式方法、正规方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和强健性。其中有

1. 形式验证：在计算机硬件和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。
2.   形式语言：在数学、逻辑和计算机科学中，形式语言是用精确的数学或机器可处理的公式定义的语言。
3. 语言的表示方法：枚举法、形式文法、正则表达式、自动机。

老师给我们推荐《大象--thinking in UML》这本书，我大概在网上查找了些关于它的资料。这本书主要是讲一种如何以对象的思考方式将复杂化的业务用其建模方法的方法形象的表达出来。UML建模，是指通过对客观事物建立一种抽象的方法用以表征事物并获得对事物的理解，同时把这种理解概念化，将这些逻辑组织起来，构成一种对所观察的对象对内部结构和工作眼里的便于理解的表达。整本书也是围绕UML 的语言概念展开。在面向对象出现之前，有大量的编程语言都是面向过程的，如C语言、汇编等。开发人员很难从设计中推导出需要的对象，很容易业务变化就会被牵着走。而且如果用文字表述一个复杂业务流程的话，相信没有上千字也有几百字，而图的出现恰好解决了这一难题。

打个比方，如果你看到一座美丽的山。你特别想留住眼前的美景。你通过对这种山用各种不同的角度如：高度，宽度，美丽程度，植被的覆盖度，等多个角度的描述的过程就是建模的过程。而角度的不同决定就是建模方向的不同。描述角度越全面你面前的这座山就更接近它本身。而UML出现就是为了解决编程很难从设计中推导出对象的问题。通过UML的基本元素如组件，关系等结合分析模型和核心视图把现实复杂的业务通过面向对象的思路设计出来。我想，这就是形式化方法的特点和优点吧。