教学课件PPT状态图和活动图.pptVIP

UML理论与实践 状态图 状态图通常是对类描述的补充，它说明该类的对象所有可能的状态，以及哪些事件将导致状态的改变。 状态图描述了对象的动态行为，是一种对象生存周期的模型。 一个状态图包括一系列的状态以及状态之间的迁移。 状 态 状态由状态名、状态变量和活动三部分组成。 状态变量是状态图所显示的类的属性，也可以是临时变量。 活动部分列出了处于该状态时要执行的事件和动作。有3个标准事件： entry事件用于指明进入该状态时的特定动作。 exit事件用于指明退出该状态时的特定动作。 do事件用于指明在该状态中时执行的动作。 说明： 所有对象都具有状态，状态是对象执行了一系列活动的结果。当某个事件发生后，对象的状态将发生变化。 状态图中定义的状态有：初态、终态、中间状态、组合状态、历史状态等。 一个状态图只能有一个初态，而终态可以有多个，也可以没有终态。 事件的语法如下： event-nameopt ? (argument list ) ?opt ?[guard-condition] ?opt ?/activity-expression?opt 其中，事件名可以是包括三个标准事件（entry,exit,do）在内的任何事件，参数表表示该事件所需的参数，警戒条件是一布尔表达式，动作表达式是该事件将被执行的动作。 画状态图的步骤 ⑴列出对象具有的所有状态 状态分为起始状态、结束状态和中间状态。一张状态图可以有一个起始状态和若干个（可以为0）结束状态。 ⑵标识导致状态转换的事件 当一个对象接收到某个事件时，会导致从一个状态转换到另一个状态，称为状态迁移（transition）。 ⑶为状态和迁移定义状态变量和动作 在状态迁移和/或处于某个状态中时都可能需要执行一些相应的动作，综合这些动作，使得对象完成相应的功能。 状态迁移 1.?状态迁移 引起状态迁移的原因通常有两种： (1) 当标在迁移箭头上的事件出现时会引起状态的迁移。此时，首先执行引起迁移的事件中的动作，然后迁移到新的状态，执行新状态中的内部动作（包括entry、exit、do以及用户定义的动作）。在执行do或用户定义的动作时，可以被外部的事件（将导致该状态的迁移）中断，但entry动作和exit动作是不能被中断的，并且它们总是要执行完的。 当状态图中相应的迁移上未指明事件时，表示当位于迁移箭头源头的状态中的内部动作（包括entry、exit、do以及用户定义的动作）全部执行完后，该状态迁移被自动触发。 事件 [条件] / 动作表达式 说明： ●事件：指已发生并可能引发某种活动的一件事； ●[条件]：由方括号围起的关系或逻辑表达式； ●动作表达式：一个触发状态迁移时可执行的过程表达式； 事 件 事件是指已发生并可能引发某种活动的一件事 事件的种类 Call event的语法格式如下： 事件名 ( [逗号分隔的参数列表] ) 例： Time event用关键字after或when表示。 例： 状态图之间发送的消息 状态图之间可通过动作或图间的虚线箭头向其他状态图发送消息。 当采用虚线箭头时，状态图必须画在矩形框中。 在图间的消息箭头有两种画法： 从表示源对象的状态图中的状态迁移上画虚线箭头到表示目标对象的状态图的边框上； 在两个状态图的边框间画虚线箭头，表示源对象在其执行期间的某时刻发送该消息。 在状态图之间发送消息时，在目标对象的状态图中应画有一个捕获这个消息的相应的迁移。 子状态(substate)是嵌套在另一状态中的状态。 一个含有子状态的状态被称作组合状态(composite state) 。 说明： 组合状态中也有初始状态和终结状态。 从源状态可以转移到组合状态本身，也可以直接转移到组合状态中的子状态。 子状态之间可分为“or”关系和“and”关系两种。“or”关系说明在某一时刻仅可到达一个子状态，“and”关系说明组合状态中在某一时刻可同时到达多个子状态。 历史（History）指示器 历史指示器用来记忆内部的状态，用里面标有H字母的圆圈表示。 使用历史状态，可以记住从组合状态中退出时所处的子状态，当再次进入组合状态时，可直接进入到这个子状态，而不是再次从组合状态的初态开始。 H和H*的区别： H只记住最外层的组合状态的历史。 H*可记住任何深度的组合状态的历史。 例：历史状态的例子。 状态图的工具支持 正向工程：根据状态图生成代码。例： 所生成的代码示例： 活动图 活动图是状态图的特例，由状态图变化而来的，活动图中一个活动结束后将立即进入下一个活动(在状态图中状态的转移