形式化说明技术

形式化说明技术Tag内容描述：<p>1、第4章 形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4.5 小结 习题 按照形式化的程度，可以把软件工程使用的方法 划分成非形式化、半形式化和形式化3类。用自然 语言描述需求规格说明，是典型的非形式化方法。 用数据流图或实体-联系图建立模型，是典型的半 形式化方法。 所谓形式化方法，是描述系统性质的基于数学的 技术，也就是说，如果一种方法有坚实的数学基础 ，那么它就是形式化的。 用自然语言书写的系统规格说明书，可能存在矛 盾、二义性、含糊性、不完整性及抽象层次混乱等 问题。 所谓矛盾是指一组相互冲突。</p><p>2、形式化说明技术按照形式化的程度，可以把软件工程使用的方法划分成非形式化，半形式化和形式化3类。用自然语言描述需求规格说明，是典型的非形式化方法。用数据流图或实体联系图建 立模型，是典型的半形式化方法。所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。4.1 概述4.1.1 非形式化方法的缺点用自然语言书写的系统规格说明书，可能存在矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。所谓矛盾是指一组相互冲突的陈述。例如，规格说明书的某一部分可能规定系统。</p><p>3、教学目标 了解形式化说明技术，了解有穷状态机的概念，了解Petri网的概念。 教学重点 形式化说明技术的积极意义。 教学难点 有穷状态机、Petri网的概念和使用。,第4章 形式化说明技术,第4章 形式化说明技术,4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言,4.1 概述,按照形式化的程度，可以把软件工程使用的方法划分成3类：非形式化 、半形式化、形式化。 用自然语言描述需求规格说明，是典型的非形式化方法。 用数据流图或实体-联系图建立模型，是典型的半形式化方法。 所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果。</p><p>4、4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言,第4章 形式化说明技术,软件工程使用方法的分类： 非形式化，用自然语言描述需求规格说明； 半形式化，用数据流图或实体-联系图建立模型； 形式化，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。</p><p>5、1,第4章 形式化说明技术,4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4.5 小结,2,关于形式化方法,形式化方法是有争议的。它们的支持者宣称：它们可以引发软件开发的革命。而批评者认为：这是困难和不可能的。同时，对于大多数人来说，对形式化方法是如此不熟悉，以至难于判断这些争论。,3,形式化的程序,非形式化方法：自然语言描述 半形式化方法（欠形式化方法）：数据流图、实体-联系图 形式化方法：一种方法有坚实的数学基础,4,非形式化方法的缺点,二义性：操作员名和口令 可能存在矛盾：监控温度/往往距离很远 含糊性：由雷达操作。</p><p>6、第4章 形式化说明技术,什么是形式化说明技术,从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。 狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。 就形式化建模而言，形式化表示必须包含一组定义其语法语义的形式化规则。这些规则可用于分析给定的表达式是否符合语法规定，或证明该表达式具有某种性质。,形式化说明技术,用自然语言描述需求规格说明，是典型的非形式化方法。用数据流图或ER图建立模型，是典型的半形式化方法。</p><p>7、形式化说明技术按照形式化的程度，可以把软件工程使用的方法划分成非形式化，半形式化和形式化3类。用自然语言描述需求规格说明，是典型的非形式化方法。用数据流图或实体联系图建 立模型，是典型的半形式化方法。所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。4.1 概述4.1.1 非形式化方法的缺点用自然语言书写的系统规格说明书，可能存在矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。所谓矛盾是指一组相互冲突的陈述。例如，规格说明书的某一部分可能规定系统。</p><p>8、软件工程 2 第4章形式化说明技术 4 1概述4 2有穷状态机4 3Petri网4 4Z语言4 5小结 3 按照形式化的程度 可以把软件工程使用的方法划分成非形式化 半形式化和形式化3类 其中 用自然语言描述需求规格说明 是典型的非形式化方法 用数据流图或实体 联系图建立模型 是典型的半形式化方法 定义 用数学工具描述现实业务系统发生的各种活动 4 4 1概述 4 1 1非形式化方法的缺点 用自然。</p>