UML基础和 与Rose建模案例（第3版）第7章 状态图和活动图.pptx

UML基础与Rose建模案例（第3版） 第7章 状态图和活动图 7.1 状态图（STATECHART DIAGRAM） 7.1.1 状态机 7.1.2 状态图 7.1.3 状态图的用途 7.1.4 状态图的建模技术 7.2 活动图（ACTIVITY DIAGRAM） 7.2.1 活动图 7.2.2 活动图与流程图的区别 7.2.3 活动图的组成元素 7.2.4 活动的分解 7.2.5 活动图的建模技术 7.3 实例——图书馆管理系统的动态图 7.3.1 各种动态图的区别 7.3.2 使用ROSE绘制状态图 7.3.3 使用ROSE绘制活动图 UML用状态机对软件系统的动态特征建模。通常一个状态机依附于一个类，并且描述一个类的实例（即对象）。状态机包含了一个类的对象在其生命期间所有状态的序列以及对象对接收到的事件所产生的反应。 状态机由状态、转换、事件、活动和动作5部分组成。 状态表示一个模型在其生存期内的状况，如满足某些条件、执行某些操作或等待某些事件。一个状态的生存期是有限的一个时间段。 转换表示两个不同状态之间的联系，事件可以触发状态之间的转换。 事件是在某个时间产生的，可以触发状态转换的，如信号、对象的创建和销毁、超时和条件的改变等。 活动是在状态机中进行的一个非原子的执行，由一系列动作组成。 动作是一个可执行的原子计算，它导致状态的变更或者返回一个值。 状态机 一个状态图表示一个状态机，主要用于表现从一个状态到另一个状态的控制流。它不仅可以展现一个对象拥有的状态，还可以说明事件（如消息的接收、错误、条件变更等）如何随着时间的推移来影响这些状态。 状态图通常包括如下内容。 （1）状态 状态定义对象在其生命周期中的条件或状况，在此期间，对象满足某些条件，执行某些操作或等待某些事件。状态用于对实体在其生命中状况建模。 转换 转换包括事件和动作。事件是发生在时间空间上的一点值得注意的事情。动作是原子性的，它通常表示一个简短的计算处理过程（如赋值操作或算术计算）。 状态图（Statechart Diagram） 状态是状态机的重要组成部分，它描述了状态机所在对象动态行为的执行所产生的结果。一个完整的状态有5个组成部分。 名字（name） 入口/出口动作（entry/exit action） 内部转换（Internal Transition） 延迟事件（Deferred Event） 子状态（Substate） 状态 活动是某件事情正在进行的状态，既可以是现实生活中正在进行的某一项工作，也可以是软件系统某个类对象的一个操作。活动在状态机中表现为由一系列动作组成的非原子的执行过程。 UML中，图形上活动图里的活动用圆角矩形表示，但这里的圆角矩形比状态图窄一些，看上去更接近椭圆。一个活动结束自动引发下一个活动，则两个活动之间用带箭头的连线相连接，连线的箭头指向下一个活动。和状态图相同，活动图的起点也是用实心圆表示，终点用半实心圆表示。 活动图（Activity Diagram） UML的活动图中包含的图形元素有动作状态、活动状态、动作流、分支与合并、分叉与汇合、泳道和对象流等。 活动图的组成元素 UML的活动图中包含的图形元素有动作状态、活动状态、动作流、分支与合并、分叉与汇合、泳道和对象流等。 动作状态表示状态的入口动作。入口动作是在状态被激活的时候执行的动作，在活动状态机中，动作状态所对应的动作就是此状态的入口动作。动作状态有如下特点： 动作状态是原子的，它是构造活动图的最小单位，已经无法分解为更小的部分。 动作状态是不可中断的，它一旦开始运行就不能中断，一直运行到结束。 动作状态是瞬时的行为，它所占用的处理时间极短，有时甚至可以忽略。 动作状态可以有入转换，入转换既可以是动作流，也可以是对象流。动作状态至少有一条出转换，这条转换以内部动作的完成为起点，与外部事件无关。 动作状态和状态图中的状态不同，它不能有入口动作和出口动作，更不能有内部转移。 在一张活动图中，动作状态允许多处出现。 动作状态 对象的活动状态可以被理解成一个组合，它的控制流由其他活动状态或动作状态组成。活动状态的特点如下。 活动状态可以分解成其他子活动或动作状态，由于它是一组不可中断的动作或操作的组合，所以可以被中断。 活动状态的内部活动可以用另一个活动图来表示。 和动作状态不同，活动状态可以有入口动作和出口动作，也可以有内部转移。 动作状态是活动状态的一个特例，如果某个活动状态只包括一个动作，那么它就是一个动作状态。 活动状态 当一个动作状态或活动状态结束时，该状态就会转换到下一个状态，这就是无触发转移或称为自动转移。无触发转移实际上是没有任何特定的事件触发的转移，即当状态结束工作时就自动的发生转移。 动