第9章状态机图.ppt

《第9章状态机图.ppt》由会员分享，可在线阅读，更多相关《第9章状态机图.ppt（74页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、状态机图是系统分析的一种常用工具，用于描述系统的行状态机图是系统分析的一种常用工具，用于描述系统的行为。为。在一般的面向对象技术中状态机图又称为状态迁移图，它在一般的面向对象技术中状态机图又称为状态迁移图，它是有限状态机的图形表示，用于描述类的一个对象在其生是有限状态机的图形表示，用于描述类的一个对象在其生存期间的行为。存期间的行为。UMLUML的状态机图主要用于建立类或对象的动态行为模型，的状态机图主要用于建立类或对象的动态行为模型，表现一个对象所经历的状态序列，引起状态或活动转移的表现一个对象所经历的状态序列，引起状态或活动转移的事件，以及因状态或活动转移而伴随的动作。事件，以及因状态或活

2、动转移而伴随的动作。第第9 9章章 状态机状态机图图第第9 9章章 状态机状态机图图9.9.1 1 状态机状态机9.2 9.2 状态机图状态机图9.3 9.3 状态状态9.4 9.4 转移转移9.5 9.5 并发状态机图并发状态机图9.6 9.6 状态机图的应用状态机图的应用在计算机技术中，状态机的概念和使用由来已久。在计算机技术中，状态机的概念和使用由来已久。在程序设计语言的编译技术中，用有限状态机描述词法分在程序设计语言的编译技术中，用有限状态机描述词法分析过程；析过程；在在操作系统中，进程调度、缓冲区调度等都可以采用状态操作系统中，进程调度、缓冲区调度等都可以采用状态机描述（参见图机描述

3、（参见图9.1 9.1）。）。UMLUML用状态机对系统的动态特征建模。用状态机对系统的动态特征建模。UMLUML定义状态机是一个行为（定义状态机是一个行为（BehaviorBehavior），），它说明一个模它说明一个模型元素在其生命期间的状态的序列，及其对事件的响应。型元素在其生命期间的状态的序列，及其对事件的响应。状态机表示一个模型元素在其生命期间的情况：从该模型状态机表示一个模型元素在其生命期间的情况：从该模型元素的开始状态起，响应事件，执行某些动作，引起转移元素的开始状态起，响应事件，执行某些动作，引起转移到新状态，又在新状态下响应事件，执行动作，引起转移到新状态，又在新状态下响应事

4、件，执行动作，引起转移到另一个状态，如此继续，直到终结状态。到另一个状态，如此继续，直到终结状态。9.1 9.1 状态机状态机例：例：UNIXUNIX操作系统中的进程的生命周期可操作系统中的进程的生命周期可用状态机简略表示，如图用状态机简略表示，如图9.19.1所示。所示。9.1 9.1 状态机状态机图9.1 UNIX进程的状态和转移 状态机由状态、转移、事件、活动、动作等组成。状态机由状态、转移、事件、活动、动作等组成。状态（状态（StateState）表示一个模型元素在生存期的一种状况，如满足某些条件，表示一个模型元素在生存期的一种状况，如满足某些条件，进行某些活动，或等待某些事件的出现等

5、。一个状态在一个有限的时进行某些活动，或等待某些事件的出现等。一个状态在一个有限的时间段内存在。间段内存在。转移（转移（TransitionTransition）表示一个模型元素的不同状态之间的联系。在事件的表示一个模型元素的不同状态之间的联系。在事件的触发下，一个状态可以转移到另一个状态。触发下，一个状态可以转移到另一个状态。事件（事件（EventEvent）是一个有意义的出现（是一个有意义的出现（OccurrenceOccurrence）的说明。该出现在某的说明。该出现在某个时间和空间点发生，并且立即触发一个状态的转移。个时间和空间点发生，并且立即触发一个状态的转移。活动（活动（Activ

6、ityActivity）是在状态机中进行的一个非原子的执行，它由一系列是在状态机中进行的一个非原子的执行，它由一系列的动作组成。的动作组成。动作（动作（ActionAction）是一个可执行的原子计算，它导致状态的变更或返回一是一个可执行的原子计算，它导致状态的变更或返回一个值。个值。状态机用于对一个模型元素建立行为模型，该模型元素通常是一个类，状态机用于对一个模型元素建立行为模型，该模型元素通常是一个类，也可以是一个也可以是一个Use CaseUse Case，甚至整个系统。甚至整个系统。9.1 9.1 状态机状态机在在UMLUML中状态机可以用两种方式可视化地表达：状态机图中状态机可以用两

7、种方式可视化地表达：状态机图和活动图。和活动图。状态机图（状态机图（State Machine DiagramState Machine Diagram）着重于对一个模型元素着重于对一个模型元素的可能的状态及其转移建立模型。活动图着重于对一个活的可能的状态及其转移建立模型。活动图着重于对一个活动到另一个活动的控制流建立模型。动到另一个活动的控制流建立模型。状态机图由表示状态的节点和表示状态之间的转移的弧组状态机图由表示状态的节点和表示状态之间的转移的弧组成。成。在状态机图中，若干个状态节点由一条或多条转移弧连接，在状态机图中，若干个状态节点由一条或多条转移弧连接，状态的转移由事件触发。模型元素

8、的行为模型化为在状态状态的转移由事件触发。模型元素的行为模型化为在状态机图中的一个周游，在此周游中状态机执行一系列的动作。机图中的一个周游，在此周游中状态机执行一系列的动作。一个状态机图表现了一个对象（或模型元素）的生存史，一个状态机图表现了一个对象（或模型元素）的生存史，显示触发状态转移的事件和因状态改变而导致的动作。显示触发状态转移的事件和因状态改变而导致的动作。9.2 9.2 状态机图状态机图UMLUML的状态机图的图形元素有如下的状态机图的图形元素有如下几种几种：1 1状态状态 状态用一个带圆角的矩形框表示，状态用一个带圆角的矩形框表示，框内标有状态的名称和其他一些信框内标有状态的名称

9、和其他一些信息。息。状态图标可以进一步划分成状态图标可以进一步划分成3 3个分个分隔框：名称框、内部转移框和嵌套隔框：名称框、内部转移框和嵌套状态机图框，如图状态机图框，如图9.29.2所示。所示。在名称框中标出状态的名称在名称框中标出状态的名称。在内部转移框中规定动作或活动在内部转移框中规定动作或活动。9.2 9.2 状态机图状态机图图9.2 状态的图形表示 状态可以是简单状态或组合状态。状态可以是简单状态或组合状态。包含有子状态的状态称为组合状态（包含有子状态的状态称为组合状态（Composite StateComposite State）。）。在一个组合状态的嵌套状态机图的分隔框内放置被

10、嵌套的在一个组合状态的嵌套状态机图的分隔框内放置被嵌套的子状态机图。对于一个简单状态，嵌套状态机图分隔框可子状态机图。对于一个简单状态，嵌套状态机图分隔框可以缺省。以缺省。9.2 9.2 状态机图状态机图 2 2转移转移 转移用实箭线表示，箭尾连接出发状态，即源状态，箭头转移用实箭线表示，箭尾连接出发状态，即源状态，箭头连接到达状态，即目标状态。连接到达状态，即目标状态。在箭线上可以标示与该转移有关的选项：事件、警戒条件在箭线上可以标示与该转移有关的选项：事件、警戒条件（Guard ConditionGuard Condition）和动作。和动作。当处于源状态的对象接收到一个事件，并且警戒条件

11、得到当处于源状态的对象接收到一个事件，并且警戒条件得到满足（如果有警戒条件的话）时，则执行相应的动作，并满足（如果有警戒条件的话）时，则执行相应的动作，并从源状态转移到目标状态。如果在转移箭线上不标示触发从源状态转移到目标状态。如果在转移箭线上不标示触发转移的事件时，则从源状态转移到目标状态是自动进行的。转移的事件时，则从源状态转移到目标状态是自动进行的。状态转移的图形表示如图状态转移的图形表示如图9.39.3所示。所示。9.2 9.2 状态机图状态机图图9.3 状态转移的图形表示 9.2 9.2 状态机图状态机图 3 3初始状态（初始状态（Initial StateInitial State

12、）初始状态是模型元素的初始状况，代表一个状态机图的起始初始状态是模型元素的初始状况，代表一个状态机图的起始点，是一个伪状态（点，是一个伪状态（Pseudo StatePseudo State）。）。初始状态用一个实心的圆表示。初始状态用一个实心的圆表示。4 4终结状态（终结状态（Final StateFinal State）终结状态是模型元素的最后的状态，代表一个状态机图的终终结状态是模型元素的最后的状态，代表一个状态机图的终止点，是一个伪状态。止点，是一个伪状态。终结状态用一个圆中套一个小实心圆表示。终结状态用一个圆中套一个小实心圆表示。9.2 9.2 状态机图状态机图 5 5判定（判定（D

13、ecisionDecision）判定是在状态机图中的一个特定判定是在状态机图中的一个特定的位置，工作流（的位置，工作流（Work flowWork flow）在此在此按警戒条件的取值而发生分支。按警戒条件的取值而发生分支。判定用空心小菱形表示。判定用空心小菱形表示。一般，判定只有一个入转移和两一般，判定只有一个入转移和两个出转移，警戒条件为布尔表达式。个出转移，警戒条件为布尔表达式。根据警戒条件表达式的值为根据警戒条件表达式的值为“真真”或或“假假”，触发不同的分支转移。，触发不同的分支转移。判定也可以是有一个入转移和多判定也可以是有一个入转移和多个出转移。个出转移。6 6同步（同步（Sync

14、hronizationSynchronization）同步可视化地定义了并发工作流的分叉（同步可视化地定义了并发工作流的分叉（ForkFork）与汇合（与汇合（JoinJoin）。）。分叉是一个源状态分为两个或两个以上的目标状态，汇合是两个以上的分叉是一个源状态分为两个或两个以上的目标状态，汇合是两个以上的源状态连接为一个目标状态。源状态连接为一个目标状态。在分叉与汇合之间的工作流是并行执行的。在分叉与汇合之间的工作流是并行执行的。同步在状态机图中用一条粗短实线表示，称为同步杆，如图同步在状态机图中用一条粗短实线表示，称为同步杆，如图9.49.4所示。所示。9.2 9.2 状态机图状态机图图9

15、.4 控制的分叉和汇合的图形表示 例：例：项目与资源管理系统项目与资源管理系统PRMSPRMS的一个资源对象的状态机图的一个资源对象的状态机图，如，如图图9.59.5所所示。示。9.2 9.2 状态机图状态机图图9.5 项目与资源管理系统PRMS的一个资源状态机图 9.3 9.3 状态状态9.3.1 9.3.1 概述概述9.3.2 9.3.2 组合状态组合状态9.3.4 9.3.4 历史状态历史状态9.3.3 9.3.3 顺序状态顺序状态从原则上说，对象属性的任何一个值的组合就是一个从原则上说，对象属性的任何一个值的组合就是一个状态，全部的状态构成一个对象的状态空间。状态，全部的状态构成一个对

16、象的状态空间。并非这个状态空间中的每一个状态都是值得关注的。并非这个状态空间中的每一个状态都是值得关注的。在对一个系统或对象建立动态行为模型时，最关心的在对一个系统或对象建立动态行为模型时，最关心的是那些明显影响行为的属性和属性值，以及由它们表是那些明显影响行为的属性和属性值，以及由它们表达的状态。达的状态。对确定对象的状态有重要意义的属性称为状态属性对确定对象的状态有重要意义的属性称为状态属性（State AttributeState Attribute）。）。在建立状态机模型时，需要正确地找出一个对象的全在建立状态机模型时，需要正确地找出一个对象的全部状态属性，根据它们的值划分对象状态。部

17、状态属性，根据它们的值划分对象状态。9.3.1 9.3.1 概述概述在对一个对象（模型元素）的行为建模时，在对一个对象（模型元素）的行为建模时，所选择的该对象（模型元素）的生存期中所选择的该对象（模型元素）的生存期中的状态的数量是有限的。的状态的数量是有限的。对象（模型元素）处于每个状态的持续时间对象（模型元素）处于每个状态的持续时间也是有限的。当发生某个事件，或完成了也是有限的。当发生某个事件，或完成了某个动作或活动的执行，都会触发状态的某个动作或活动的执行，都会触发状态的转移。转移。UMLUML对一个状态的描述包含以下信息：名对一个状态的描述包含以下信息：名字、入口动作与出口动作、内部转移

18、、嵌字、入口动作与出口动作、内部转移、嵌套子状态、延迟事件等。套子状态、延迟事件等。例：一个状态的示例，如图例：一个状态的示例，如图9.69.6所示。所示。9.3.1 9.3.1 概述概述图9.6 状态图标示例 一个不含内嵌套状态的状态，称为简单状态。一个不含内嵌套状态的状态，称为简单状态。如果一个状态内嵌套了若干个状态，则称该状态为超状态如果一个状态内嵌套了若干个状态，则称该状态为超状态（SuperstateSuperstate）或组合状态（或组合状态（Composite StateComposite State），），其中被嵌套的状态其中被嵌套的状态称为子状态（称为子状态（Substate

19、Substate）。）。子状态本身仍然可以是一个组合状态。子状态本身仍然可以是一个组合状态。超状态中的每一个被嵌套的状态机图所表示的子状态机，都对应于超状态中的每一个被嵌套的状态机图所表示的子状态机，都对应于该超状态内的正在进行的一个活动。该超状态内的正在进行的一个活动。子状态机图的所在区域必有自己的初始状态和终结状态。对组合状子状态机图的所在区域必有自己的初始状态和终结状态。对组合状态的一个入转移代表对其子区域内的初始状态的入转移；对子区域态的一个入转移代表对其子区域内的初始状态的入转移；对子区域内的终结状态的转移代表包含它的组合状态的相应活动的完成。内的终结状态的转移代表包含它的组合状态的

20、相应活动的完成。注意，动作（注意，动作（ActionAction）与活动（与活动（ActivityActivity）的含义是不同的。的含义是不同的。动作与转移相关，动作是一组原子的可执行语句，它调用某个操作，动作与转移相关，动作是一组原子的可执行语句，它调用某个操作，很快完成，不能被中断。很快完成，不能被中断。活动是动作的非原子序列，有一定的运行期限，活动可能被某个事活动是动作的非原子序列，有一定的运行期限，活动可能被某个事件中断。件中断。9.3.2 9.3.2 组合状态组合状态例：例：一个表示网一个表示网上商店处理送货上商店处理送货过程的状态机图，过程的状态机图，如图如图9.79.7所示。它

21、所示。它是一个带有组合是一个带有组合状态的状态机图。状态的状态机图。9.3.2 9.3.2 组合状态组合状态图9.7 组合状态机图示例 组合状态可以包含有顺序子状态或并发子状态。组合状态可以包含有顺序子状态或并发子状态。一个组合状态从理论上说可以嵌套任意层次，而外部组一个组合状态从理论上说可以嵌套任意层次，而外部组合状态本身可以作为一个简单状态来对待。合状态本身可以作为一个简单状态来对待。采用组合状态可以简化对复杂行为的建模。采用组合状态可以简化对复杂行为的建模。更为重要的是组合状态清楚地表达了状态的结构关系，更为重要的是组合状态清楚地表达了状态的结构关系，便于分清主次，分别对待。便于分清主次

22、，分别对待。如果状态图中的状态比较多，若不采用如果状态图中的状态比较多，若不采用组合状态，则转组合状态，则转移线的交叉现象会不可避免，图面将凌乱不堪。移线的交叉现象会不可避免，图面将凌乱不堪。例如，图例如，图9.89.8的送货处理状态机图是图的送货处理状态机图是图9.79.7的另一个版本，的另一个版本，其中没有采用组合状态。在图其中没有采用组合状态。在图9.89.8的状态机图中出现了转的状态机图中出现了转移线交叉。移线交叉。9.3.2 9.3.2 组合状态组合状态例：未采用组合状态表示的例：未采用组合状态表示的送货处理状态机图，如图送货处理状态机图，如图9.8 9.8 所示。所示。9.3.2

23、9.3.2 组合状态组合状态图9.8 送货处理状态机图示例 顺序状态（顺序状态（Sequential StateSequential State）又称为不相交状态又称为不相交状态（Disjoint StateDisjoint State），），它们是一个一个顺序转移的，不是它们是一个一个顺序转移的，不是并发存在的。并发存在的。顺序状态表现正常的顺利的行为。顺序状态表现正常的顺利的行为。在在行为过程中常会出现各种非正常的情况，为此，必然行为过程中常会出现各种非正常的情况，为此，必然要为每一个状态画出一条表现非正常行为的转移箭线要为每一个状态画出一条表现非正常行为的转移箭线 ，图面将凌乱。图面将凌

24、乱。可以可以使用组合状态和顺序子状态的概念解决此类建模问使用组合状态和顺序子状态的概念解决此类建模问题。题。例如，在例如，在图图9.99.9中，中，“活动活动”状态是一个组合状态，状态是一个组合状态，“验验卡卡”、“拨号拨号”、“通话通话”、“挂断挂断”等状态是它的顺等状态是它的顺序子状态，它们构成序子状态，它们构成“活动活动”状态内部的子状态机。状态内部的子状态机。9.3.3 9.3.3 顺序状态顺序状态例：例：顺序状态示例，如图顺序状态示例，如图9.99.9所示。它是表示所示。它是表示ICIC卡电话机卡电话机工作的部分状态机图。工作的部分状态机图。9.3.3 9.3.3 顺序状态顺序状态图

25、9.9 顺序状态示例 在一个组合状态中所包含的一个由顺序子状态构成的子状态机中，在一个组合状态中所包含的一个由顺序子状态构成的子状态机中，必定有一个子初始状态。每次进入该组合状态，被嵌套的子状态机必定有一个子初始状态。每次进入该组合状态，被嵌套的子状态机从它的子初始状态开始运作（除非直接转移到特定的子状态）。从它的子初始状态开始运作（除非直接转移到特定的子状态）。有的情况下，当离开一个组合状态后，又重新进入该组合状态，但有的情况下，当离开一个组合状态后，又重新进入该组合状态，但是不希望从它的子初始状态开始运作，而是直接进入到上次离开该是不希望从它的子初始状态开始运作，而是直接进入到上次离开该组

26、合状态时的最后一个子状态。组合状态时的最后一个子状态。历史状态（历史状态（History StateHistory State）代表上次离开组合状态时的最后一个活动代表上次离开组合状态时的最后一个活动子状态。子状态。每当转移到组合状态中的历史状态时，对象便恢复上次离开该组合每当转移到组合状态中的历史状态时，对象便恢复上次离开该组合状态时的最后一个活动子状态，并执行入口动作。状态时的最后一个活动子状态，并执行入口动作。历史状态用一个含有字母历史状态用一个含有字母“H”H”的小圆圈表示。的小圆圈表示。历史状态只是一个伪状态（历史状态只是一个伪状态（Pseudo StatePseudo State）

27、的图形标记，只能作为一的图形标记，只能作为一个组合状态中的子状态，不能在顶层状态机图中使用。个组合状态中的子状态，不能在顶层状态机图中使用。历史状态可以有任意个从外部状态来的入转移，至多有一个无标签历史状态可以有任意个从外部状态来的入转移，至多有一个无标签的出转移，它进入到一个子状态机。的出转移，它进入到一个子状态机。9.3.4 9.3.4 历史状态历史状态例：历史例：历史状态示例，如图状态示例，如图9.109.10所示，它是表示一个影碟所示，它是表示一个影碟机对象工作的部分状态机图。机对象工作的部分状态机图。9.3.4 9.3.4 历史状态历史状态图9.10 历史状态示例 转移表示当一个特定

28、的事件发生或某些条件满足时，一个在源状态转移表示当一个特定的事件发生或某些条件满足时，一个在源状态下的对象将完成一些特定的动作，一旦发生这种情况，就称该转移下的对象将完成一些特定的动作，一旦发生这种情况，就称该转移被激发了（被激发了（FiringFiring），），其结果是使得对象从源状态转移到另一个新其结果是使得对象从源状态转移到另一个新的目标状态。的目标状态。触发状态转移的事件可以是：某个条件为真，一个信号，或一个调触发状态转移的事件可以是：某个条件为真，一个信号，或一个调用操作。用操作。当发生一个转移时，该转移进入的状态为活动状态（当发生一个转移时，该转移进入的状态为活动状态（Activ

29、e StateActive State），），它将执行相应的动作。当发生一个转移离开一个状态时，该状态变它将执行相应的动作。当发生一个转移离开一个状态时，该状态变成非活动状态（成非活动状态（Inactive StateInactive State）。）。一个转移包含五部分信息：源状态、目标状态、事件、警戒条件、一个转移包含五部分信息：源状态、目标状态、事件、警戒条件、动作。动作。源状态是发出转移的状态，目标状态是转移到达的状态。源状态是发出转移的状态，目标状态是转移到达的状态。事件、警戒条件（简称条件）和动作是一个转移常要给出的事件、警戒条件（简称条件）和动作是一个转移常要给出的3 3个选项，

30、个选项，其在转移箭线上的标识格式为：其在转移箭线上的标识格式为：事件事件 警戒条件警戒条件/动作动作 9.4 9.4 转移转移9.4 9.4 转移转移9.4.1 9.4.1 事件事件9.4.2 9.4.2 条件条件9.4.4 9.4.4 转移的类型转移的类型9.4.3 9.4.3 动作动作事件是一个有意义的出现（事件是一个有意义的出现（OccurrenceOccurrence）的说明，它位于特定的时的说明，它位于特定的时间和空间点。间和空间点。在状态机图中，事件是一个激励的出现，它定义一个触发子在状态机图中，事件是一个激励的出现，它定义一个触发子（TriggerTrigger）触发对象改变其状

31、态。触发对象改变其状态。事件的描述格式如下：事件的描述格式如下：事件名称事件名称 参数表参数表 entry entry exit exit do do when when 布尔表达式布尔表达式 after after 时间表达式时间表达式 参数表参数表 参数名参数名1 1，参数名，参数名2 2，9.4.1 9.4.1 事件事件事件的名称用一个字符串表示。事件名必须引用接受事件的类中的事件的名称用一个字符串表示。事件名必须引用接受事件的类中的一个操作或信号。一个操作或信号。在事件名后跟的方括号中列出的是传送给该事件的形式参数。形式在事件名后跟的方括号中列出的是传送给该事件的形式参数。形式参数表为

32、选项，可以缺省。参数表为选项，可以缺省。下面是一些事件的例子：下面是一些事件的例子：entry/entry/setEchoOffsetEchoOff()/()/入口事件入口事件 exit/exit/setEchoOnsetEchoOn()/()/出口事件出口事件 do/do/checkCharcheckChar /DO /DO事件，执行活动事件，执行活动 help/help/verifyPsw.helpverifyPsw.help()/()/内部转移事件内部转移事件 when(temp120)/when(temp120)/setTestsetTest /改变事件改变事件 after(2 sec

33、.)/send after(2 sec.)/send c.isAlivec.isAlive /时间事件，发送信号时间事件，发送信号 setTestsetTest/defer /defer /延迟事件延迟事件9.4.1 9.4.1 事件事件事件之一的信号常用类图形表示，但是必须加上构造型事件之一的信号常用类图形表示，但是必须加上构造型，如图如图9.119.11所示。所示。事件也可以只发生而不触发对象的状态转移。在这种情事件也可以只发生而不触发对象的状态转移。在这种情况下，若事件不是被声明为一个延迟事件，它必定被丢况下，若事件不是被声明为一个延迟事件，它必定被丢失。失。9.4.1 9.4.1 事件

34、事件图9.11 事件的图形表示示例 事件的种类有：入口事件、出口事件事件的种类有：入口事件、出口事件、DODO事件、信号事事件、信号事件、调用事件、改变事件、时间事件等。件、调用事件、改变事件、时间事件等。（1 1）入口事件（）入口事件（Entry EventEntry Event）入口事件表示一个入口动作序列，用关键字入口事件表示一个入口动作序列，用关键字“entry”entry”说明，它在进入状态时执行。说明，它在进入状态时执行。入口事件的动作是原子的，不能避开，而且先于任何内入口事件的动作是原子的，不能避开，而且先于任何内部活动或转移。部活动或转移。入口事件可以不带参数和警戒条件，因为它

35、是隐式调用入口事件可以不带参数和警戒条件，因为它是隐式调用的。的。在一个类的高层状态机中的入口事件可能有参数表，它在一个类的高层状态机中的入口事件可能有参数表，它对应于该类的一个对象在创建时所接收的变量。对应于该类的一个对象在创建时所接收的变量。9.4.1 9.4.1 事件事件（2 2）出口事件（）出口事件（Exit EventExit Event）出口事件表示一个出口动作序列，用关键字出口事件表示一个出口动作序列，用关键字“exit”exit”说说明，它在退出状态时执行。明，它在退出状态时执行。出口事件的动作是原子的，不能避开，而且跟在任何内出口事件的动作是原子的，不能避开，而且跟在任何内部

36、活动之后，但先于任何出转移。部活动之后，但先于任何出转移。出口事件可以不带参数和警戒条件，因为它是隐式调用出口事件可以不带参数和警戒条件，因为它是隐式调用的。的。（3 3）DODO事件（事件（Do EventDo Event）DODO事件表示对一个嵌套状态机的调用，用关键字事件表示对一个嵌套状态机的调用，用关键字“do”do”说明。说明。在入口动作之后，被调用的嵌套状态机从它的初始状态在入口动作之后，被调用的嵌套状态机从它的初始状态开始运作，直到到达它的终结状态，而后发生出口动作。开始运作，直到到达它的终结状态，而后发生出口动作。9.4.1 9.4.1 事件事件（4 4）调用事件（）调用事件（

37、Call EventCall Event）调用事件表示调用者对操作的请求，调用事件至少涉及两个以上的调用事件表示调用者对操作的请求，调用事件至少涉及两个以上的对象，一个对象请求调用另一个对象的操作。对象，一个对象请求调用另一个对象的操作。调用事件一般为同步调用，也可以是异步调用。如果调用者需等待调用事件一般为同步调用，也可以是异步调用。如果调用者需等待操作的完成，则是同步调用，否则是异步调用。操作的完成，则是同步调用，否则是异步调用。调用事件的定义格式为：调用事件的定义格式为：事件名（参数列表）事件名（参数列表）参数的格式为：参数的格式为：参数名：类型表达式参数名：类型表达式 例：例：调用事件

38、示例调用事件示例，如，如图图9.9.12 12 所示。所示。9.4.1 9.4.1 事件事件图9.12 调用事件示例 （5 5）信号事件（）信号事件（Signal EventSignal Event）在状态机图中，可以使用信号发在状态机图中，可以使用信号发送构造型图标和信号接收构造型送构造型图标和信号接收构造型图标表示信号事件。图标表示信号事件。信号发送构造型图标是一个矩形信号发送构造型图标是一个矩形的一侧为尖角，它代表一个信号的一侧为尖角，它代表一个信号的发送，其中含有发送子句。的发送，其中含有发送子句。信号接收构造型图标是一个矩形信号接收构造型图标是一个矩形的一侧为凹角，它代表一个信号的一

39、侧为凹角，它代表一个信号的接收，其中含有事件名称。的接收，其中含有事件名称。例：例：信号发送与接收的构造型图信号发送与接收的构造型图标，如图标，如图9.139.13所示。所示。它是一个微它是一个微波炉工作的状态机图。波炉工作的状态机图。9.4.1 9.4.1 事件事件图9.13 信号发送与接收的构造型图标示例 （6 6）改变事件（）改变事件（Change EventChange Event）改变事件表示一个通知信息，通知某个条件已为改变事件表示一个通知信息，通知某个条件已为“真真”，以触发一个转移。以触发一个转移。改变事件用关键字改变事件用关键字“whenwhen”说明，后面带有括在圆括号说明

40、，后面带有括在圆括号中的布尔表达式，并且跟有动作，意指当该布尔表达式中的布尔表达式，并且跟有动作，意指当该布尔表达式为真时，执行规定的动作，引起状态的转移。为真时，执行规定的动作，引起状态的转移。改变事件与警戒条件不同。改变事件与警戒条件不同。警戒条件在事件触发时求值，而改变事件是在条件为真警戒条件在事件触发时求值，而改变事件是在条件为真时被触发。当一个对象发生改变时，二者连续被检查。时被触发。当一个对象发生改变时，二者连续被检查。9.4.1 9.4.1 事件事件（7 7）时间事件（）时间事件（Time EventTime Event）时间事件表示一个通知信息，通知自从进入状态以来某个时间期限

41、时间事件表示一个通知信息，通知自从进入状态以来某个时间期限已到，或者已经到了某个特定的日期已到，或者已经到了某个特定的日期/时间，以触发一个转移。时间，以触发一个转移。时间事件用关键字时间事件用关键字“afterafter”说明，带有括在圆括号中的时间表达式，说明，带有括在圆括号中的时间表达式，并且后跟动作。并且后跟动作。例：时间事件与改变事件的示例，如图例：时间事件与改变事件的示例，如图9.149.14所示。所示。9.4.1 9.4.1 事件事件图9.14 时间事件与改变事件示例 （8 8）延迟事件）延迟事件（Deferred EventDeferred Event）延迟事件是在本状态不处理

42、、推迟或排队等到另外一个延迟事件是在本状态不处理、推迟或排队等到另外一个状态才处理的事件。状态才处理的事件。延迟事件需要在状态的图标中列出延迟事件名，其后跟延迟事件需要在状态的图标中列出延迟事件名，其后跟一个斜杠一个斜杠“/”和特定的动作和特定的动作“deferdefer”。例：在图例：在图9.69.6的状态的状态“键入口令键入口令”中的事件中的事件“setTestsetTest/deferdefer”是一个延迟事件，说明事件是一个延迟事件，说明事件“setTestsetTest”（设置测设置测试）在本状态中不响应，推迟到另外一个状态才处理。试）在本状态中不响应，推迟到另外一个状态才处理。在建

43、立状态机图时，将会发现许多事件，其中有些事件在建立状态机图时，将会发现许多事件，其中有些事件可以作为状态转移的事件触发子；另一些事件意义不大，可以作为状态转移的事件触发子；另一些事件意义不大，可以忽略；还有一些事件可以延迟到以后再起作用。可以忽略；还有一些事件可以延迟到以后再起作用。9.4.1 9.4.1 事件事件条件（警戒条件）是为触发转移必须满足的条件。条件（警戒条件）是为触发转移必须满足的条件。一个状态的转移可能是自动发生的，也可能是在满足某个条件的情一个状态的转移可能是自动发生的，也可能是在满足某个条件的情况下发生的。当转移按照判定而分支时，条件是判定的依据。况下发生的。当转移按照判定

44、而分支时，条件是判定的依据。条件一般用一个布尔表达式表示，可能涉及到正在触发的事件的参条件一般用一个布尔表达式表示，可能涉及到正在触发的事件的参数和属性。数和属性。在事件发生时，一个条件对于一个转移只求值一次。如果该转移再在事件发生时，一个条件对于一个转移只求值一次。如果该转移再次被触发，则该条件可以再次求值。次被触发，则该条件可以再次求值。例：条件示例，如图例：条件示例，如图9.159.15所示。所示。9.4.2 9.4.2 条件条件图9.15 条件示例 动作是一组可执行语句或计算过程。一个动作可以包括动作是一组可执行语句或计算过程。一个动作可以包括操作调用，创建或销毁另一个对象，发送一个信

45、号给另操作调用，创建或销毁另一个对象，发送一个信号给另一个对象等。一个对象等。动作是原子的、不可被中断的。动作是原子的、不可被中断的。动作可以有一个动作表达式，它由用逗号分隔的动作子动作可以有一个动作表达式，它由用逗号分隔的动作子句表构成。句表构成。动作子句的格式为：动作子句的格式为：动作子句动作子句 返回表返回表 :=:=操作名操作名 变量表变量表 动作子句是一个调用动作（动作子句是一个调用动作（Call ActionCall Action），），它引起对一它引起对一个操作的调用，当转移被触发时执行。个操作的调用，当转移被触发时执行。操作的返回值组成返回表，该值应是随后的操作的实际操作的返回

46、值组成返回表，该值应是随后的操作的实际参数。参数。9.4.3 9.4.3 动作动作动作的类型有：入口动作，出口动作，调用动作，延迟动作，创建动作的类型有：入口动作，出口动作，调用动作，延迟动作，创建动作，销毁动作，返回动作，终止动作，发送动作，本地调用动作，动作，销毁动作，返回动作，终止动作，发送动作，本地调用动作，例外动作等。例外动作等。入口动作和出口动作是在内部转移框中规定的，当进入或离开该状入口动作和出口动作是在内部转移框中规定的，当进入或离开该状态时执行的动作。态时执行的动作。标有关键字标有关键字“deferdefer”的动作称为延迟动作的动作称为延迟动作，用于延迟一个事件。用于延迟一

47、个事件。创建动作创建一个类的实例（对象），它没有目标对象。创建动作创建一个类的实例（对象），它没有目标对象。销毁动作销毁一个类的实例（对象），它必须有目标对象。销毁动作销毁一个类的实例（对象），它必须有目标对象。返回动作返回一个值或值集给调用者。返回动作返回一个值或值集给调用者。终止动作引起对象的自析构（终止动作引起对象的自析构（Self-DestructionSelf-Destruction），），即自动销毁，结即自动销毁，结束对象的生存。束对象的生存。9.4.3 9.4.3 动作动作发送动作异步发送一个信号。发发送动作异步发送一个信号。发送动作可用专门发送子句表示，送动作可用专门发送子句表

48、示，其图形形式如图其图形形式如图9.169.16所示。所示。发送动作还可以利用信号发送与发送动作还可以利用信号发送与接收的构造型图标，如图接收的构造型图标，如图9.13 9.13 所所示。示。本地调用动作调用本地的操作，本地调用动作调用本地的操作，不产生调用事件或信号事件。不产生调用事件或信号事件。例外动作在发生运行错误时发出例外动作在发生运行错误时发出出错信号。出错信号。9.4.3 9.4.3 动作动作图9.16 发送子句 转移有多种类型：自转移、内部转移、自动转移、复合转移有多种类型：自转移、内部转移、自动转移、复合转移等。转移等。1 1自转移（自转移（Self-TransitionSel

49、f-Transition）自转移是指那些源状态和目标状态是同一个状态的转移。自转移是指那些源状态和目标状态是同一个状态的转移。自转移中有入口事件和出口事件，分别调用状态的入口自转移中有入口事件和出口事件，分别调用状态的入口和出口动作。和出口动作。例：例：在图在图9.149.14中的中的“休闲休闲”状态有一个自转移。状态有一个自转移。2 2内部转移（内部转移（Internal TransitionInternal Transition）内部转移是指执行那些响应事件的内部动作或活动，但内部转移是指执行那些响应事件的内部动作或活动，但是对象的状态并不发生改变。是对象的状态并不发生改变。内部转移与自转

50、移不同。内部转移与自转移不同。9.4.4 9.4.4 转移的类型转移的类型在状态的内部转移中需给出内部动作列表，其格式为：在状态的内部转移中需给出内部动作列表，其格式为：动作标签动作标签 /动作表达式动作表达式动作标签标识调用该动作的环境，动作表达式规定动作。动作标签标识调用该动作的环境，动作表达式规定动作。动作表达式可以用拥有该动作的实体的任何属性和连接来构成。动作动作表达式可以用拥有该动作的实体的任何属性和连接来构成。动作表达式和其前面的斜杠表达式和其前面的斜杠“/”可以缺省。可以缺省。UMLUML规定了一些专用的动作标签，如：规定了一些专用的动作标签，如：entryentry、exite