数据对象描述-Read.ppt

第12章? 分析建模 ;第12章? 分析建模;第12章? 分析建模;第12章? 分析建模;第12章? 分析建模;分析模型的方法 ;12.1 简史;12.2 分析模型的元素?;实体—关系图 (ERD) ;实体-关系图（ERD）描述数据对象间的关系，ERD是用来进行数据建模活动的记号，在ERD中出现的每个数据对象的属性可用“数据对象描述”来描述。 数据流图（DFD）服务于两个目的：指明数据在系统中移动时如何被变换；描述对数据流进行变换的功能（和子功能）。DFD提供了附加的信息，可用于信息域的分析，作为功能建模的基础。在DFD中出现的每个功能的描述包含在加工规约（PSPEC）中。 状态变迁图（STD）指明作为外部事件的结果系统将如何动作。STD是行为建模的基础。关于软件控制的附加信息包含在控制规约（CSPEC）中。;12.3 数据建模;数据模型的三种关联信息：;基数是关于一个对象可以与另一个对象的出现 次数相关联的出现次数的规约 ;形态 如果对关系的出现没有明显的需要或关系是 可选的时，关系的形态是0 如果关系必须出现一次，则形态是1 在关系连接上距数据对象矩形最近的符号指示 基数。竖短线表示1，三叉表示多。形态是用 距数据对象矩形较远的记号表示。 ;ERD的主要目的: 用于表示实体（数据对象）和它们 之间的相互关系 ;12.4 功能建模和信息流;12.4.1 数据流图;描述银行取款过程的数据流图;数据流与数据加工之间的关系;Ward和Mellor对基本的结构化分析符号体系进行了 扩展： 在时间连续的基础上收集或产生信息流。 传遍系统的控制信息以及相关的控制处理。 同一个变换的多个实例，这在多任务的条件下可能遇到。 系统有状态且某机制导致状态间的变迁。 比如，用双头箭头表示时间连续的流，单头箭头指示离散的数 据流，实线箭头表示数据流，虚线箭头或阴影箭头表示控制流。; 数据流和控制流举例 （使用Ward和mellor符号）;12.4.4 Hatley和Pirbhai扩展;行为建模是所有需求分析方法的操作性原则 状态—变迁图通过描述状态以及导致系统改变状态的事件来表示系统的行为，指明了作为特定事件的结果，要执行哪些行为。;12.6 结构化分析的技巧;实体—关系图ERD构造???法：;5. 进行步骤2到4，直至定义了所有的对象—关 系对。 6. 定义每个实体的属性。 7. 形式化并评审实体—关系图。 8. 重复步骤1到步骤7，直到数据建模完成;(1)第0层的数据流图应将软件/系统描述为一个泡泡 (2)应仔细地标记主要的输入和输出 (3)通过隔离要表示在下一层中的候选加工、数据对象和存储而开始精化过程 (4)所有的箭头和泡泡应使用有意义的名称标记 (5)当从一个级别到另一个级别时要维护“信息流连续性” (6)一次精化一个泡泡;12.6.3 创建控制流模型;12.6.4 控制规约;12.6.5 加工规约;12.7 数据字典;数据字典的内容描述符号;表12-1描述的符号体系使软件工程师有三种基本的构造方式来表示“复合数据”(即数据对象)： 1.作为数据项的序列。 2.作为从一组数据项中的选择。 3.作为数据项的重复的组合。每个数据项中的项可 能表示为顺序、选择和重复的一部分，而其本身又是另一个复合数据项，需在字典中进一步精化。;12.8 其他传统分析方法的概述?;12.9 小结