第四章_结构化的需求分析与建模(2)

4.4 状态迁移图

行为建模给出需求分析方法的所有操作原 则。 状态—迁移图(STD)或状态—迁移表来描 述系统或对象的状态，以及导致系统或对 象的状态改变的事件，从而描述系统的行 为。

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