ch状态图及建模实用.pptxVIP

会计学;;3;状态图;状态图;状态图;7;8;状态机和状态图建模;I 引 言;I 引 言;;图1. 状态机;;15;16;;18;;20;21;22;23;9.3 事件Event;9.3 事件Event;练习; 转移(transition): 是一个状态向另外一个状态的转换。对象处在源状态时,发生一个事件,如果条件满足,则执行相应的动作,对象由源状态转移到目标状态。 转移之前对象所处的状态为源状态，转移之后对象所处的状态为目标状态 转移用箭头表示，如果没有标注事件，则本转移为自动转移。箭尾连接出发状态，即源状态，箭头连接到达状态，即目标状态。 警戒条件(guard)：是为了要让转移发生而必须为真的布尔表达式。 例如：当你早上出门的时候（事件），如果温度在冰点以下（条件），那你要戴手套（下一状态）。表示：出门[冰点以下];当发生一个转移时，该转移进入的状态为活动状态，它将执行相应的动作。 当发生一个转移离开一个状态时，该状态变为非活动状态。 当标在迁移箭头上的事件出现时会引起状态的迁移。此时，首先执行引起迁移的事件中的动作，然后迁移到新的状态，执行新状态中的内部动作（包括entry、exit、do以及用户定义的动作）。 在执行do或用户定义的动作时，可以被外部的事件（将导致该状态的迁移）中断，