软件工程第3章 结构化分析建模.pptVIP

3.3 功能建模 (4) 画出二层数据流图 处理取款的数据流图 3.4 数据建模 在结构化分析方法中，使用实体—关系建模技术来建立数据模型。 这种技术是在较高的抽象层次（概念层）上对数据库结构进行建模的流行技术。 实体—关系模型表示为可视化的实体—关系图（entity-relationship diagram，ERD），也称为ER图。 ER图中仅包含3种相互关联的元素：数据对象（实体）、描述数据对象的属性及数据对象彼此间相互连接的关系。 3.4 数据建模 数据对象 数据对象是目标系统所需要的复合信息的表示，所谓复合信息是具有若干不同属性的信息。在ER图中用矩形表示数据对象。 在实际问题中，数据对象（实体）可以是外部实体、事物、角色、行为或事件、组织单位、地点或结构等。 3.4 数据建模 属性 属性定义数据对象的特征，如数据对象学生的学号、姓名、性别、专业等，课程的课程编号、课程名称、学分等。 在ER图中用椭圆或圆角矩形表示属性，并用无向边将属性与相关的数据对象连接在一起。 3.4 数据建模 关系 不同数据对象的实例之间是有关联关系的，在ER图上用无向边表示。 在无向边的两端应标识出关联实例的数量，也称为关联的重数。 从关联重数的角度可以将关联分为３种。 (1) 一对一（1:1）关联 (2) 一对多（1:m）关联 (3) 多对多（m:n）关联 实例关联还有“必须”和“可选”之分。 3.4 数据建模 关联数量的表示 在ER图中用圆圈表示所关联的实例是可选的，隐含表示“0”，没有出现圆圈就意味着是必须的。出现在连线上的短竖线可以看成是“1”。 3.4 数据建模 关联关系举例 3.4 数据建模 关系的属性 关系本身也可能有属性，这在多对多的关系中尤其常见，如学生和课程之间的关系可起名为“选课”，其属性应该有学期、成绩等。 关系属性的表示：在表示关系的无向边上再加一个菱形框，并在菱形框中标明关系的名字，关系的属性同样用椭圆形或圆角矩形表示，并用无向边将关系与其属性连接起来。 3.4 数据建模 关系的属性 3.4 数据建模 银行储蓄系统的ER图 3.5 行为建模 状态转换图（简称状态图）通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。状态图中使用的主要符号如图所示。 3.5 行为建模 状态 状态是任何可以被观察到的系统行为模式，一个状态代表系统的一种行为模式，状态规定了系统对事件的响应方式。 状态可能有：初态（初始状态）、终态（最终状态）和中间态。 在一张状态图中只能有一个初态，而终态则可以有多个，也可以没有。 3.5 行为建模 状态的表示：初态用实心圆表示，终态用牛眼图形表示，中间态用圆角矩形表示。 3.5 行为建模 状态转换 状态图中两个状态之间带箭头的连线称为状态转换。 状态的变迁通常是由事件触发的，在这种情况下应在表示状态转换的箭头线上标出触发转换的事件表达式。 如果在箭头线上未标明事件，则表示在源状态的内部活动执行完之后自动触发转换。 3.5 行为建模 状态转换 下图为计算机应用软件的启动过程，在这个过程中没有外部事件触发，每个状态下的活动完成时，状态发生转换。 3.5 行为建模 事件 事件是在某个特定时刻发生的事情，它是对引起系统做动作或从一个状态转换到另一个状态的外部事件的抽象。事件表达式的语法如下： 事件说明（守卫条件）/动作表达式 (1) 事件说明的语法如下： 事件名（参数表） (2) 守卫条件是一个布尔表达式。如果同时使用守卫条件和事件说明，则当且仅当事件发生且布尔表达式成立时，状态转换才发生。如果只有守卫条件没有事件说明，则只要守卫条件为真，状态转换就发生。 (3) 动作表达式是一个过程表达式，当状态转换开始时执行该表达式。 3.5 行为建模 存款过程的状态图(考虑新开户 ) 3.5 行为建模 取款过程的状态图 3.6 数据字典 数据字典以词条方式定义在数据模型、功能模型和行为模型中出现的数据对象及控制信息的特性，给出它们的准确定义，包括数据流、加工、数据文件、数据元素，以及数据源点、数据汇点等。 数据字典成为把3种分析模型黏合在一起的“黏合剂”，是分析模型的“核心”。 3.6 数据字典 词条描述 对于在数据流图中每一个被命名的图形元素均加以定义； 其内容包括图形元素的名字，图形元素的别名或编号，图形元素类别（如加工、数据流、数据文件、数据元素、数据源点或数据汇点等）、描述、定义、位置等。 3.6 数据字典 数据流词条 数据流是数据结构在系统内传播的路径，数据流词条应包括以下几项内容。 ①数据流名：要求与数据流图中该图形元素的名字一致。 ②简述：简要介绍它产生的原因和结果。 ③组成：数据流的数据结构。 ④来源：数