第四章结构化的需求分析与建模.pptVIP

第四章 结构化分析与建模（二） 4.4 状态迁移图 行为建模给出需求分析方法的所有操作原则。 状态—迁移图(STD)或状态—迁移表来描述系统或对象的状态，以及导致系统或对象的状态改变的事件，从而描述系统的行为。 4.4 状态转换图 所有软件系统都包括功能行为、数据操作和状态改变。实时系统和过程控制应用程序可以在任何给定的时间内以有限状态中的某一种状态存在。 用状态转换图(State Transition Diagram，STD)可以简洁、完整、无歧义地表示有限状态机。 一种相关的技术是统一建模语言(Unified Modeling Language，UML)中的状态流程图。 状态迁移图 第四章 结构化分析与建模（二） 数据词典 数据词典与数据流图配合，能清楚地表达数据处理的要求。 数据词典精确地、严格地定义了每一个与系统相关的数据元素，并以字典式顺序将它们组织起来，使得用户和分析员对所有的输入、输出、存储成分和中间计算有共同的理解。 数据词典 词条描述 —— 对于在数据流图中每一个被命名的图形元素，均加以定义，其内容有: 名字，别名或编号，分类，描述，定义，位置，其它等 数据结构的描述 符 号 含 义 举 例 ＝ 被定义为 ＋ 与 x = a＋b [...,...] 或 [...|...] 或 x = [a , b]，x = [a | b] (两或多个选一) { ... }或 m{...}n 重复 x = {a}， x = 3{a}8 (...) 可选或不选 x = (a) “...” 基本数据元素 x = “a”　取值a .. 连结符 x = 1..9　取任一值 　　　　　　　　　　　　x取到1至9之中的任一值。 数据词典 存折＝户名＋所号＋帐号＋开户日＋性质＋(印密)＋1{存取行}50 户名＝2{字母}24 所号＝“001”..“999” 帐号＝.. 开户日＝年＋月＋日 性质＝“1”..“6” 注：“1”表示普通户，“5”表示工资户等 印密＝“0” 注：印密在存折上不显示 存取行＝日期＋（摘要）＋支出＋存入＋余额＋操作＋复核#0421 DFD与数据字典的配合 数据元素－取款单 数据流名称：取款单 别名：无 简述：顾客取款时填写的单据 来源：顾客 去向：检验 数据流量：200份/天 组成：日期＋取款金额＋姓名＋地址＋取款类型+密码＋账号 数据元素－核查 加工名：检验 编号：XXXX 激发条件：接受取款单 输入：取款单 输出：认定的合格的取款信息 加工逻辑：根据账卡及用户取款单据 　if 单据＝存款单 then 　存款单据是否填写规范 　else 　审核是否为有效取款单，取款金额不得超出存款金额，密码是否正确。 第四章 结构化分析与建模（二） 　　DFD中一些逻辑上比较复杂的处理，有必要运用一些描述处理逻辑的工具来加以说明，理想的描述既容易被人们理解，又比较严格和精确。目前常用结构化语言、判定表和判定树三种工具来描述。 1.结构化语言 简单的祈使语句 指明要做的事情（如DFD图和需求功能说明），它至少要包括一个动词，明确地指出执行的功能，至少要包括一个名词作为宾语，表示动作的对象。 例如，“检验取款单”、“登录存折”、“计算平均成绩”、“获得职工姓名”等。 1.结构语言 判断语句：在处理功能中常常需要对根据某一条件的不同结论执行不同的处理动作进行描述，为此，可以用判断句来实现。 如果质量合格率大于99% 　　如果出勤好 　　则获得一等奖金 　　否则获得二等奖金 如果质量合格率小于99％且大于80% 　　如果出勤好 　　则获得二等奖金 　　否则获得三等奖金 1.结构语言 循环语句：循环语句是指在某种条件下，连续执行相同的动作，直到这个条件不成立为止。它也可以用来明确地指出对每一件相同的事务都执行同一个动作。 　例如：对每一储户，循环计算 　　　　利息 4.6 判定表和判定树 当逻辑和判定过程很复杂时，我们可以选用判定表和判定树这两种技术来表示系统应该做什么。 判定表(decision table)可列出影响系统行为的所有因素的各种取值，并表明对这些因素的每一种组合所期望的系统响应动作。 判定表和判定树是编写需求文档(或业务规则)的两种很有用的方法，采用这两种方法可以避免遗漏任何条件组合。 判定表 如果数据流图的加工需要