软件需求工程-骆斌-教学课件 第12章.过程建模.pptVIP

2.4 层次结构的建立—— 示例：3.建立0层图 2.4 层次结构的建立—— 示例：4.功能分解建立N层图 无 2.5 DFD的验证 验证DFD的语法 确保DFD中不会发生语法错误 验证DFD的结构 验证DFD层次结构之间的一致性 验证DFD层次结构说明的完备性 验证DFD的语义 确保DFD所说明内容的正确性和准确性 主要内容 过程建模 数据流图DFD 微规格说明 结构化英语/伪码 行为图 决策表 决策树 数据字典 模块结构图 DFD的类型 3.1 结构化英语/伪码 叙述上采用了结构化程序语言的三种控制结构：顺序、条件决策和循环； 使用了一些类似于结构化程序语言关键字的词语来表明叙述的逻辑，例如IF、THEN、ELSE、DO、DO WHILE、DO UNTIL等等； 在格式上，使用和结构化程序语言相同的缩进方式来表明叙述的结构。 简短语句 ，使用名词和动词，避免使用容易产生歧义的形容词和副词 3.1 结构化英语/伪码 示例 3.2 行为图 结构化英语的一种特殊表达方式 ，用特定的图示来表示过程的逻辑结构 3.2 行为图示例 3.3 决策表 条件声明是进行决策时需要参考的变量列表 条件选项是那些变量可能的取值 动作声明是决策后可能采取的动作 动作选项表明那些动作会在怎样的条件下发生 条件和行动 规则 条件声明（Condition Statement） 条件