第7讲 形式化说明技术.ppt

An Introduction to Database System 第4章　形式化说明技术 什么是形式化说明技术 从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。 狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。 就形式化建模而言，形式化表示必须包含一组定义其语法语义的形式化规则。这些规则可用于分析给定的表达式是否符合语法规定，或证明该表达式具有某种性质。 形式化说明技术 用自然语言描述需求规格说明，是典型的非形式化方法。用数据流图或ER图建立模型，是典型的半形式化方法。所谓形式化方法，就是基于数学的技术来描述系统的性质的方法。 非形式化方法的缺点 形式化方法的优点 应用形式化方法的准则 (1) 应该选用适当的表示方法。 (2) 应该形式化，但不要过分形式化。 (3) 应该估算成本。 (4) 应该有形式化方法顾问随时提供咨询。 (5) 不应该放弃传统的开发方法。把形式化方法和结构化方法或面向对象方法集成起来是可能的，而且由于 取长补短往往能获得很好的效果。 (6) 应该建立详尽的文档。建议使用自然语言注释形式化的规格说明书，以帮助用户和维护人员理解系统。 (9) 应该测试、测试再测试。 (10) 应该重用。即使采用了形式化方法，软件重用仍然是降低软件成本和提高软件质