软件需求过程研讨.ppt

* 6.4.3 状态转换图 状态模型一般采用状态转换图（State-Transition diagram STD） （简称状态图）的标记方法 状态图描述了系统中某些复杂对象的状态变化 状态是可观察的行为模式，用圆角矩形表示； 变迁表示状态的转换，用箭头表示； 事件是引发变迁的消息，用箭头上的标记表示。 状态图还可以用事件后的方括号表示先决条件，只有当这个条件为真时，才会发生状态变化；用状态自身的弧线箭头表示先决条件不为真时，状态不会改变。 状态1 Do:活动1 状态2 事件1[条件1]/动作1 结束 事件 初始 事件 空闲 可视菜单 左边按钮按下/显示弹出菜单 左边按钮弹起/擦除弹出菜单 光标移动/高亮菜单项 例如：弹出菜单动作 状态（行为）模型表示方法 状态图：状态和事件的网络，侧重描述每一类对象的动态行为。 举例：复印机控制软件状态图 读命令 复印 重加载纸 诊断问题 闲置 与“读命令”相关 非卡纸 与“读命令”相关 卡纸 与“完成问题”相关 “满”和“开始” 与“复印”相关 复印 与“读命令”相关 满 与“读命令”相关 举例：饮料自动售货机系统的状态图 投入硬币 （有效的） 投入硬币金额 (1元、5元、10元) 按下选择饮料键 显示售货机在备用 所有灯都关闭 显示金额总数 显示金额已够 饮料选择灯亮 取出饮料、结算找零 扣减存量、完成交易 饮料“售完”灯亮 金额不足 再投币 存量为零 无效的硬币 取消 取消 回到备用状态 回到备用状态 4 加工逻辑的描述 加工逻辑也称为过程说明，用于描述数据流图中加工逻辑的处理算法或过程。对数据流图的每一个基本加工，必须有一个基本加工逻辑说明 基本加工逻辑说明必须描述基本加工如何把输入数据流变换为输出数据流的加工规则 加工逻辑说明必须描述实现加工的策略而不是实现加工的细节 加工逻辑说明中包含的信息应是充足的，完备的，有用的，无冗余的 用以下三种工具： 过程描述语言（PDL—Procedural Description Language） 判定表 判定树 1.过程描述语言 介于自然语言和形式语言之间的一种半形式语言，使用有限的词汇和有限的语句来描述加工逻辑。 它的结构可分成两层： 外层：用来描述控制结构，采用顺序、选择、重复三种基本结构。 内层：一般采用祈使语句的自然语言短语，使用数据字典中的名词和有限的自定义词 举例 统计空格 seq 打开文件 读入字符串 Totalsum = 0 程序体 iter until文件结束 …… 程序体end 印总数seq 印出空格总数 印总数end 关闭文件 停止 统计空格end 2. 判定表 如果数据流图的加工需要依赖于多个逻辑条件的取值，使用判定表来描述比较合适 例如：某数据流图中有一个“确定保险类别”的加工，指的是申请汽车驾驶保险时，要根据申请者的情况确定不同的保险类别。 加工逻辑为： 如果申请者的年龄在21岁以下，要额外收费； 如果申请者是21岁以上并是26岁以上的女性，适用于A类保险； 如果申请者是26岁以下的已婚男性，或者26岁以上的男性，适用于B类保险； 如果申请者是21岁以下的女性或26岁以下的单身男性适用于C类保险； 除此之外的其他申请者都适用于A类保险。 判定表 提取问题中的条件：年龄、性别、婚姻。 标出条件的取值： 条件名 取值 符号 取值数m 年龄 年龄≤21 21年龄26 年龄≥26 C Y L m1=3 性别 男 女 M F m2=2 婚姻 未婚 已婚 S E m3=2 判定表制作 计算所有条件的组合数N。N= =3×2×2 提取可能争取的动作或措施。适用于A类保险、B类保险、C类保险，额外收费共四种。 制作判定表 完善判定表 缺少判定采取的动作 有冗余的列 制作判定表 1 2 3 4 5 6 7 8 9 10 11 12 条件 年龄 C C C C Y Y Y Y L L L L 性别 F F M M F F M M F F M M 婚姻 S E S E S E S E S E S E 操作 A类保险 √ √ √ √ B类保险 √ √ √ √ C类保险 √ √ √ √ 额外收费 √ √ √ √ 合并后的判定表 1 3 4 5 7 8 9 11 条件 年龄 C C C Y Y Y L L 性别 F M M F M M F M 婚姻 -- S E -- S E -- -- 操作 A类保险 √ √ B类保险 √ √ √ C类保险 √ √ √ 额外保险 √ √ √ 3. 判定树 判定树是判定表的变形，一般情况下它比判定表更直观，且易于理解和使用 年龄21 未婚—C类保险且额外收费 已婚—B类保险且额外收费 未婚—C类保险 已婚—D类保险 年龄≤21 C类保险收额外收费 A类保险 B类保险 21年龄