第四章形式化说明技术

为什么要有形式化的说明语言出现？

非形式化语言的缺点：

用自然语言书写的系统规格说明书,可能存在矛盾二义性、含糊性、不完整性及抽象层次混乱等问题。

1. 矛盾是指一组相互冲突的陈述。
2. 二义性是指读者可以用不同方式理解的陈述。
3. 含糊性
4. 不完整性
5. 抽象层次混乱是指在非常抽象的陈述中混进了一些关于细节的低层次陈述。

形式化语言的优点：

为了克服非形式化方法的缺点，人们把数学劳入软件开发过程，创造了基于数学的形式化方法。

1. 数学能够简洁准确地描述物理现象、对象或动作的结果，因此是理想的建模工具二义性是指读者可以用不同方式理解的陈述。
2. 数学以在不同的软件工程活动之间平滑地过渡。
3. 数学提供了高层确认的手段。