自考《软件工程》基础知识点复习：形式化方法
|0·2013-03-22 16:34:55浏览 收藏
形式化方法
1.形式化规约的目标是无二义性、一致性和完整性。形式化规约语言由语法、语义、一组关系组成。集合论是维也纳开发方法等形式化方法的基础。
语义指出语言如何表示系统需求。经典的语义定义方法有：指称语义、代数语义、操作语义方法。
2.有限状态机是实时系统设计中的一种数学模型，由一个有限的状态集合、一个有限的输入集合、一个变迁函数组成。
优点：简单易用，状态间的关系能直观看到。
缺点：任何时刻系统只能有一个状态，无法表示并发性，不能描述异步并发系统。
Petri网是在软件分析中，用一种系统的数学和图形的描述和分析的方法。使用图形工具，可以表示系统结构和动态行为方面的信息。
Petri网理论认为，任何系统是由表示状态的元素和表示状态变化的元素组成。用位置表示状态的元素，符号为“○”。用转移表示状态变化的元素，符号为“―”或 “|”。
Petri网的行为特征分析方法有可覆盖性树、矩阵方程求解、分层或简化三类。Petri网到程序结构的转换方法：流程图方法、编程语言的方法、面向对象的程序设计方法。
净室是一种以合理的成本开发高质量软件的基于理论、面向工作组的方法。净室过程强调规约和设计上的严格性，净室软件工程使用盒结构规约的方法来遵从操作分析原则。
净室方法未广泛使用的原因：（1）净室方法太理论、太数学化，一直难以在真实的软件开发中使用。（2）不需要进行单元测试，与大多数软件开发方式背离。（3）软件开发产业的成熟度。
客户/服务器模式的系统结构中的服务器：文件服务器、数据库服务器、事务服务器、组件服务器。
