软件工程中南大学Central South University2022/12/5第四章 形式化说明技术1.非形式化方法：自然语言描述2.半形式化方法：数据流图或实体联系图3.形式化方法：基于数学技术描述2022/12/5 2本讲内容1. 概述2. 有穷状态机3. Petri 网4. Z 语言5. 小结软件工程中南大学Central South University2022/12/54.1 概述2022/12/5 44.1.1 非形式化方法的缺点自然语言书写的系统规格说明书可能存在：1）矛盾；2）二义性； 如：“操作员标识由操作员姓名和密码组成，密码由6位数字构成，当操作员登陆系统时它被存储在注册文件中。”3）含糊性；4）不完整性；5）抽象层次混乱。2022/12/5 54.1.2 形式化方法的优点（1）数学是理想的建模工具，适合于表示系统状态和描述系统需求；（2）用数学表达的需求可在不同开发阶段平滑过渡。2022/12/5 64.1.3 应用形式化方法的准则（1）选择合适的形式化方法；适用于当前项目（2）需要形式化，但不能过渡形式化，不能放弃传统的需求表达方法；（3）应该估算成本；（
