04形式化说明技术.pptVIP

教学目标 掌握：形式化、非形式化方法的定义、优缺点。 了解：有穷状态机、Petri网、Z语言概念和用法 重点难点 重点：形式化说明与非形式化说明的比较 难点：对各种形式化说明技术的理解 目录 概述 有穷状态机 Petri网 Z语言 总结 课后作业 概述 什么是形式化方法 计算机描述方法分类： 非形式化方法：自然语言描述需求规格说明 半形式化方法：数据流图或实体-联系图 形式化方法：描述系统性质的、基于数学的技术 概述 非形式化方法的缺点 矛盾：指一组相互冲突的陈述 二义性：指读者可以用不同方式理解的陈述 含糊性：笼统的陈述，没有给出任何有用的信息 不完整性：例如缺乏对细节的描述 抽象层次混乱：是指在非常抽象的陈述中混进了一些关于细节的低层次陈述 概述 形式化方法的优点 基于数学的形式化方法优点有： 数学能够简洁准确地描述物理现象、对象或动作的结果，因此比自然语言更适于描述详细的需求，避免二义性，并能够验证，从而发现矛盾和不完整性 可以在不同的软件工程活动之间平滑地过渡 提供了高层确认的手段 概述 应用形式化方法的准则 应选用适当地表示方法 应该形式化，但要避免过分形式化 应该估算成本 应有形式化方法顾问随时提供咨询 不应该放弃传统的开发方法 应该建立详尽的文档 不应该放弃质量标准 不盲目依赖形式化方法 应该测试、测试再测试 应该重用。 目录 概述 有穷状态机 Petri网 Z语言 总结 课后作业 有穷状态机 什么是有穷状态机 是一种用简单格式来描述规格说明的方法 当前状态+事件+谓词?下一个状态 例子P78 有穷状态机 有穷状态机的优点 易于书写、易于验证，而且可以比较容易地把它转变成设计或程序代码。 目录 概述 有穷状态机 Petri网 Z语言 总结 课后作业 Petri网 什么是Petri网 Petri网是一种系统的数学和图形的描述与分析工具。 可以有效描述并发活动，适合对具有并发、异步、分布、不确定性和/或随机性的信息处理系统建模，以得到系统结构和动态行为方面的信息。 Petri网 Petri网的组成 Petri网包含四种元素： 位置：符号为“○”，表示系统状态 转移：符号为“|”或“－”，表示系统事件 输入：符号为“? |”，表示对转移的输入 输出：符号为“| ?”，表示由转移的输出 Petri网 Petri网的组成 Petri网 Petri网的示例 P84 目录 概述 有穷状态机 Petri网 Z语言 总结 课后作业 Z语言 需要具备集合论、函数、数理逻辑等方面的知识。包括4个部分： 给定的集合、数据类型及常数 状态定义 初始状态 操作 目录 概述 有穷状态机 Petri网 Z语言 总结 课后作业 目录 概述 有穷状态机 Petri网 Z语言 总结 课后作业 课后作业 课后习题 * * * 软件工程《软件工程导论（第五版）》 第四章 形式化说明技术