Lecture状态图.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * zhufei@ 状态迁移 状态迁移表示当一个特定的事件发生或某些条件满足时，一个源状态下的对象将完成一些特定的动作，成为状态触发，使对象从源状态迁移到一个新的目标状态。 活动状态：迁移发生时，该迁移进入的状态为活动状态，它将执行相应的动作。 非活动状态：迁移发生时，该迁移离开的状态为非活动状态 zhufei@ 状态的迁移触发 描述状态迁移的形式化语法格式： 事件[条件]/动作表达式 发送子句 事件：指已发生并可能引发某种活动的一件事 [条件]：关系或逻辑表达式 动作表达式：一个触发状态迁移时可执行的过程表达式 发送子句：动作的一个特例，说明调用的事件名（操作）是哪个对象的 zhufei@ 事件 事件指已发生并可能引发某种活动的一件事 事件名（参数表）  zhufei@ 事件的种类 状态内部事件 入口事件entry 出口事件exit do事件 include事件 自定义内部事件 消息 调用事件 信号事件 时间事件 After事件 Defer事件 When事件 出错情况error等事件 zhufei@ 电烤箱控制系统的状态图 系统接受到启动加热的信号后进入加热状态， 如果温度高于140度，暂停加热； 如果温度低于120度，重新启动加热。 5分钟后加热停止，完成一次烘烤过程。 zhufei@ 电烤箱控制系统的状态图 zhufei@ 状态迁移的种类 自迁移：源状态和目标状态为同一状态的迁移。 内部迁移：该迁移在状态内部进行，不引起状态改变。内部迁移由标准内部事件或用户自定义的事件引发。如do、entry、exit、include等。 自动迁移：在迁移箭线上没有条件和触发事件，当一个状态完成后，自动触发迁移，进入下一个状态 复合迁移：由条件判定、并发分劈和一些简单迁移组合而成。 zhufei@ 状态图之间发送消息 状态图可以向其他状态图发送消息，可以用动作（如在发送字句中指明接收者）或状态图之间的虚线箭头表示。 zhufei@ 活动图 UML中，活动图是系统动态行为建模的图形工具之一，用来表示完成一个操作所需要的活动，或者是一个用例实例（场景）的活动。 活动图实际上也是一种流程图，描述的是活动的序列。 活动图特别适合于描述动作流和并发处理行为。 zhufei@ zhufei@ 活动图与状态图的区别 活动图是由状态图变化而来的，它们各自用于不同的目的。 活动图与状态图的区别： 活动图状态迁移不需要事件触发，活动执行完毕可以直接进入下一个活动状态； 活动置于责任区（泳道）内，责任区将活动按责任目标和组织归属的原则分类。 zhufei@ 活动图与状态图的异同 都有相同的开始点和结束点 活动图中的状态为动作状态，用上下两条平行线段和两侧圆弧构成的图框表示。框内标识动作状态名和描述动作的语句，动作状态之间的迁移用箭头表示，迁移上可以附加条件、发送字句和动作表达式。 活动图是状态图的变形，它根据对象状态的变化捕获动作（所完成的工作和活动）和它们的结果，表示各个动作及其之间的关系。 zhufei@ 活动图与状态图的异同 与状态图不同的是，活动图中动作状态之间的迁移不是靠事件触发。当动作状态中的活动完成时迁移就被触发。 活动图中，事件只能附加到开始点到第一个动作之间的迁移。 活动图中，还可以画条件判定符号（菱形） 活动图中，有“泳道”的概念。 zhufei@ 基本概念 1. 动作状态 动作状态表达不可中断的动作或操作的执行，用于对实例中原子性（不可分割）动作或算法的执行步骤建立模型 “检查合同”、“核对付款单”并“发放出库单”的活动图 zhufei@ 图例说明 在如图所示活动图中，首先对财务系统传送来的付款单与销售合同进行核对检查，排除未付款的合同。 对已付款的合同，将合同定单与库存清单逐项进行检查核对。 检查核对有两种结果：有货或缺货。 如果仓库有合同所需货物，制作并发放出库单，同时更新库存、发送货物并在相关合同上标注合同履约标志； 如果仓库没有合同所需货物，则制作并发放缺货单，同时制作并向生产调度部门发放生产单。 zhufei@ 图总结（1） 活动图和状态图非常类似。它有与状态图相同的开始点和结束点，活动图中的状态称为动作状态，由上下两条平行线段和两侧圆弧构成的图框表示。 框内标示动作状态名和描述动作的语句，动作状态之间的迁移用箭头表示，迁移上可以附加条件、发送子句和动作表达式。 活动图是状态图的变形，它根据对象状态的变化捕获动作