[第7讲状态机图.pptVIP

状态(state):指事物在其生命周期中满足某些条件、执行某些操作或等待某些事件而持续的一种稳定的状况 。 状态机(state machine ): 描述一个事物在其生命期中，所具有的状态，以及因事件触发而引起的状态的各种转换。 状态机(state machine diagram ): 是UML用来描述状态机的图，在UML2.0版本之前，状态机图被称为状态图。状态机图由状态结点、控制结点和转换边构成。 状态(state):指事物在其生命周期中满足某些条件、执行某些操作或等待某些事件而持续的一种稳定的状况 。 状态表示为： 状态名若用英文，第一个字母要大写。 可分为以下三类： ●简单状态：也被称为原子状态，不包含子状态和子机状态。 ●复合状态：内部包含子状态的状态。 ●子机状态：状态机作为子状态的状态。 可分为以下三类： ●简单状态： ●复合状态： ●子机状态： 一个状态内部所包括的动作或事件， 在当前 状态下，状态机会执行这些动作，可以有： ●入口动作：进入该状态自动执行的第一个动作，表示为：entry/do shing ， 例如 entry/do dooropen。 ●出口状态：退出该状态自动执行的最后一个动作，表示为：exit/do shing, 例如，exit/door close 。 ●内部变迁：在该状态下做的动作，不引起状态变化。表示为： do/thing，例如，do/check up on work 。 ●延迟事件：在该状态下，如果发生某事件，将被延时处理。表示为：事件/defer，例如，print/defer(15)，表示打印事件将被延迟15秒 。 状态转换（state transition）:是两个状态之间的一种有向关系，表示从源状态转换到目标状态。状态转换用一个带箭头的实线表示，箭头由源状态指向目标状态。 ●触发事件：触发状态转换的条件，如开门，入库，开电源等。如果没有触发事件，指源状态执行完后，自动转换到目标状态。 ●触发事件： ●监护条件：用来监护状态转换。在事件发生后，如果监护条件为真，则执行动作，并转换状态。如果监护条件为假，则不执行转换动作，也不实施状态转换。 如果没有监护条件，则不作条件判断，在事件发生后直接执行转换动作。 ●触发事件： ●监护条件： ●转换动作：在事件发生后所执行的一组动作，并把状态由源状态转换到目标状态。在动作前置一个“/” 。 事件（event）:指所发生的瞬时事情，能引起状态变换。 例如： 按“开关”，能开启机器 “双击鼠标”打开窗口。 复合状态:指包含子状态的状态。 例如，ATM机的状态机图： 并发状态:在一个状态机或一个复合状态中，如果同时存在相互可以独立的几组状态，则称这几组状态是并发状态(concurrent state)。 例如： 同步状态:指多个并发区间中的状态在转换过程彼此存在同步关系，一个区间中的一个转换需要等到另一个区间中的某个转换发生后才能进行。 例如： 初始状态 (initial state) :简称始态，表示状态机的起始，始态用实心园表示。一个复合状态或子机状态也有其始态。一个状态机可以有多个始态，存在多个始态的状态机一定存在状态的并发，在并发状态的一个区间只能有一个始态。 初始状态表示一个状态机从此结点开始，但事物不会此状态停留，会立即转换到初始状态所连接的第下一个状态。 初始状态只有输出，没有输入。 分叉 (fork) :指将一个转换分成两个或多个转换，用来描述需要并发的状态。 汇合 (join) :指将从并发状态来的转换合并形成一个转换，用来描述多个并发状态的控制同步。 汇接(junction):用来汇接多个转换，以简化转换路径。汇接的符号与初始状态的符号相同，但它允许连接多个转换的输入和多个输出。 选择(choice ):用来实现根据条件判断，转换到不同目标状态。用菱形表示选择，有一个输入边到选择，多个输出边由选择到目标状态结点。 历史状态(history state ):为一个状态机或复合状态提供了一种在退出状态时记忆当前活动所处的子状态，并能够返回到该子状态的机制。 终止状态(final state ):被简称为终态，表示一个状态机、一个复合状态，或一个区间状态的结束。终止状态用“牛眼”符号表