Homword10：什么是形式化方法

• 定义

    形式化方法英文的名称是 formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。

• 分类

    根据说明目标软件系统的方式，形式化方法可以分为两类：

1. 面向模型的形式化方法。面向模型的方法通过构造一个数学模型来说明系统的行为。
2. 面向属性的形式化方法。面向属性的方法通过描述目标软件系统的各种属性来间接定义系统行为。

• 计算机中的应用

    用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术，这样的形式化方法提供了一个框架，可以在框架中以系统的而不是特别的方式刻划、开发和验证系统。 如果一个方法有良好的数学基础，那么它就是形式化的，典型地以形式化规约语言给出。这个基础提供一系列精确定义的概念，