第4章 形式化说明技术.pptVIP

计算机科学与工程系 第4章 形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 按照形式化的程度，软件工程使用的方法可分成3类： ① 非形式化 典型的非形式化方法是：用自然语言描述需求规格说明。 ② 半形式化 典型的半形式化方法是：用数据流图或实体-联系图建立模型 。 ③ 形式化 所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。 一、非形式化方法的缺点 用自然语言书写的系统规格说明书，可能存在矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。 所谓矛盾是指一组相互冲突的陈述。 二义性是指读者可以用不同方式理解的陈述。 系统规格说明书是很庞大的文档，几乎不可避免地会出现含 糊性（笼统陈述） 。 系统规格说明中功能需求细节描述的不完整性。 抽象层次混乱是指在非常抽象的陈述中混进了一些关于细节的低层次陈述。这样的规格说明书使得读者很难了解系统的整体功能结构。 二、 形式化方法的优点 开发大型软件系统的过程中应用数学，能够带来下述的几个优点： （1）它能够简洁准确地描述物理现象、对象或动作的结果，是理想的建模工具。数学特别适合于表示状态，也就