第12章过程建模.pptVIP

2.5 DFD的验证 验证DFD的语法 确保DFD中不会发生语法错误 验证DFD的结构 验证DFD层次结构之间的一致性 验证DFD层次结构说明的完备性 验证DFD的语义 确保DFD所说明内容的正确性和准确性 3.1 结构化英语/伪码 叙述上采用了结构化程序语言的三种控制结构：顺序、条件决策和循环； 使用了一些类似于结构化程序语言关键字的词语来表明叙述的逻辑，例如IF、THEN、ELSE、DO、DO WHILE、DO UNTIL等等； 在格式上，使用和结构化程序语言相同的缩进方式来表明叙述的结构。 简短语句 ，使用名词和动词，避免使用容易产生歧义的形容词和副词 第3节 微规格说明 伪码示例 3.2 行为图 结构化英语的一种特殊表达方式 ，用特定的图示来表示过程的逻辑结构 3.3 决策表 条件声明是进行决策时需要参考的变量列表 条件选项是那些变量可能的取值 动作声明是决策后可能采取的动作 动作选项表明那些动作会在怎样的条件下发生 条件和行动 规则 条件声明（Condition Statement） 条件选项（Condition Entry） 行动声明（Action Statement） 行动选项（Action Entry） 决策表示例 条件和行动 规则 account-type NOW NOW REGULAR REGULAR daily-balance 300 =300 100 =100 set service-charge to $5 X set service-charge to $0 X X set service-charge to greater of $3 or $.20 times X * * 第12章 过程建模主要内容 第1节 过程建模 第2节 数据流图DFD 第3节 微规格说明 第4节 数据字典 第5节 模块结构图 第6节 DFD的类型 1.过程建模—结构化建模 怎么理解复杂世界？ 复杂－简单（分解） 简单－可理解性（最基本单位） 简单（高内聚） 简单 VS 简单（低耦合） 简单－复杂（接口和实现） 结构化建模 复杂世界－复杂处理过程（事情的发生发展） 简单－过程（可表达的“函数”） 软件“函数”、程序 复杂?简单 功能分解结构 简单－复杂（函数调用） 第1节 过程建模 结构化建模 过程建模，数据建模 过程建模是结构化建模的核心方法 系统是过程的集合 过程可以被分解为子过程 最终的子过程可以被映射为计算实体——函数 所有的系统都是由过程构建的 主要思想 用图形的方式建立和描述良好的过程模型 微规格说明 上下文图 FDD功能分解图 数据流图 数据字典 PDD过程依赖图 过程建模就是分析需求获取活动获得的信息，发现系统功能和其与外界的交互，建立能够实现系统功能的过程分解结构，形成系统的过程模型，并用图形的方式将过程模型描述出来。同时，也需要定义系统中涉及的数据的结构。 2.1 DFD的基本元素 外部实体 外部实体是指处于待构建系统之外的人、组织、设备或者其他软件系统，它们不受系统的控制，开发者不能以任何方式操纵它们 需要进行建模的外部实体是那些和待构建的软件系统之间存在着数据交互的外部实体，它们是待构建系统的数据源或者数据目的地 所有的外部实体联合起来构成了软件系统的外部上下文环境 第2节 数据流图DFD 过程 过程是指施加于数据的动作或者行为，它们使得数据发生变化，包括被转换（transformed）、被存储（stored）或者被分布（distributed） 可能是由软件系统控制的，也可能是由人工执行的，它重在数据发生变化的效果而不是其执行者 可能会表现为不同的抽象层次 内容足够细节和具体，能够对其直接进行“编码”处理的过程被称为原始过程（Primitive Process，又称为基本过程Elementary Process） 数据流 数据流是指数据的运动，它是系统与其环境之间或者系统内两个过程之间的通信形式 数据流可以分割和组合 数据字典和ERD通常被用来描述DFD数据流的详细内容 数据存储 数据存储是软件系统需要在内部收集、保存，以供日后使用的数据集合 数据存储的详细内容通常也是用数据字典和ERD来进行描述的 （1）示例： DeMarco （2）示例： Gane-Sarson 返回 2.2 规则 过程是对数据的处理，必须有输入，也必须有输出，而且输入数据集和输出数据集应该存在差异 X X X Y 数据流是必须和过程产生关联的，它要么是过程的数据输入，要么是过程的数据输出 DFD中所有的对象都应该有一个可以唯一标识自己的名称。 过程使用动词 外部实体、数据流和数据存储使用名词 2.3 层次结构 依据所含过程的不同抽象程