第三讲需求_3试卷.ppt

状态用于对实体在其生命周期中的各种状况进行建模，一个实体总是在有限的一段时间内保持一个状态。 状态是任何可以被观察到的系统行为模式，一个状态代表系统的一种行为模式 简而言之，事件就是引起系统做动作或(和)转换状态的控制信息。 * * 1) 状 态—中间状态 例如：电灯的开和关，洗衣机的洗涤状态，甩干状态等等… 状态用于对实体在其生命周期中的各种状况进行建模，一个实体总是在有限的一段时间内保持一个状态。 状态组成 * 状态种类： 简单状态（Simple State） 组成状态（Composite State） 活动行为： 入口动作（Entry ） 出口动作（Exit ） 1) 状 态—中间状态 * 组成状态 组成状态是可以包含一些嵌套的子状态的状态。 组成状态可以通过“或”关系分解为互相排斥的顺序子状态，或者使用“与”关系分解为并发子状态。 * 组成状态—顺序子状态 如果一个组成状态的子状态对应的对象在其生命期内的任何时刻都只能处于一个子状态，即多个子状态之间是互斥的，不能同时存在，这种子状态称为顺序子状态。 * 组成状态—并发子状态 有时组合状态有两个或者多个并发的子状态机，此时称组成状态的子状态为并发子状态。 顺序子状态与并发子状态的区别在于后者在同一层次给出两个或多个顺序子状态，对象处于同一层次中来自每个并发子状态的一个时序状态中。 * 2) 转 换 在UML的状态图建模机制中，转换用带箭头的直线表示，一端连接源状态，箭头指向目标状态。 转换可以标注与此转换相关的选项如事件、动作和监护条件。 如果转换上没有标注触发转换的事件，则表示此转换为自动进行。 * * 转换种类： 外部转换 内部转换 完成转换 复合转换 2) 转 换 * 内部转换 内部转换只有源状态，没有目标状态，不会激发入口和出口动作，因此内部转换激发的结果不改变本来的状态，它转换后的状态仍旧是它本身。 内部转换用于对不改变状态的插入动作建立模型；内部转换自始至终都不离开本状态，所以没有出口或入口事件，也就不执行入口和出口动作。 举例：某个聊天状态 入口动作?验证密码 出口动作?清空聊天记录 某人在聊天是想改变一下除密码外的个人信息 此改变不触发入口动作和出口动作 所以可以使用内部转换 * 完成转换 完成转换又称为自转换。 完成转换是因为没有标明触发器事件的转换，是由状态中的活动的完成引起的，是自然而然地完成的转换。 完成转换也可以带一个监护条件，这个监护条件在状态中的活动完成时被赋值，而非活动完成后被赋值。 内部转换和自转换不同： 自转换是离开本状态后重新进入该状态，它会激发状态的入口动作和出口动作的执行，内部转换反之。 * 3) 判 定 状态图中需要根据给定条件进行判断：工作流在此处按监护条件的取值而发生分支。 判定用空心小菱形表示。 因为监护条件为布尔表达式，所以通常条件下的判定只有一个入转换和两个出转换。 根据监护条件的真假可以触发不同的分支转换。 * * 4) 举 例 * 例、图书馆管理系统 创建一个状态图的步骤如下： 标识出建模实体。 标识出实体的各种状态。 创建相关事件并创建状态图。 1）标识建模实体 一般来说，不需要给所有的类都创建状态图，只有具有重要动态行为的类才需要。比如说：图书馆里的书具有主导地位 * 2）标识出实体的各种状态 对于图书馆里的书来说，它具有以下状态： （1）未入库的新书状态 （2）处于可借状态 （3）书库里删除状态 （4）预定状态 （5）已借出状态 3）创建相关事件并创建状态图 当确定了需要建模的实体并找出了实体的初始状态、终止状态以及其他相关状态后，就可以着手创建状态图。 * 3.7 其他图形工具 层次方框图 Warnier图 （略） IPO图 （略） * 3.7.1 层次方框图 层次方框图用树形结构的一系列多层次的矩形框描绘数据的层次结构。 树形结构的顶层是一个单独的矩形框，它代表完整的数据结构，下面的各层矩形框代表这个数据的子集，最底层的各个框代表组成这个数据的实际数据元素(不能再分割的元素)。 随着结构的精细化，层次方框图对数据结构也描绘得越来越详细，这种模式非常适合于需求分析阶段的需要。系统分析员从对顶层信息的分类开始，沿图中每条路径反复细化，直到确定了数据结构的全部细节时为止。 * 举 例 * 领导层辅助决策系统 查询 辅助决策 物 资 信 息 重点供料信息 商情信息 人员状况 合同监视 财务信息 计划执行情况 工程进展情况 超储低储情况 经营指标 历年对比 价格预测 物资用量预测 库存定额核定 库存结构分析 经济采购批量 保本保利分析 * 3.8 验证软件需求 验证软件需求的正确性，一般应从4个方面进行： (1) 一致