第2章有限状态机及其扩展重点.ppt

* ① 状态的层次化 有限状态机在输入F下均可从状态S或T转移到状态U。这里可将状态S和T合并成一个新的状态，记为状态V，并将两个状态转移弧用一个弧来代替。状态的层次化通过框图的嵌套来图示。 具有子状态的状态称为递阶状态，没有子状态的状态称为简单状态或者原子状态。 高级状态或超状态、父状态、先辈状态、子状态、后代状态 （任意深度多层次描述） S F F U T S V F U T S S2 S22 S21 S1 * ② 或（OR）状态、与（AND）状态 状态的层次化可以通过自顶向下的状态分解，或自底向上的状态合并来实现。 或（OR）状态：当且仅当位于该状态就是位于其中的一个子状态，即，位于一个或状态不能同时位于该状态的两个以上的子状态。或状态表示了子状态之间的一种异或关系。状态的或状态表示，称为状态的或分解。 与（AND）状态：当且仅当位于该状态就是同时位于其所有的子状态。与状态表示了子状态之间的一种与关系。状态的与状态表示，称为状态的正交分解；与状态的子状态，又称为状态的正交分量。图形表示中，用虚线将与状态的正交分量或子状态进行隔离，与状态的标识符（即，状态名）标注在和状态边框连在一体的小方框内。 S1 F F S3 S2 T1 T S U T2 S S2 S22 S21 S1 * （2） Statecharts中的迁移 迁移上的条件、事件和动作 迁移的输入称为触发（trigger），触发可以是事件或者（和）条件。迁移的输出称为动作（action），动作可以是产生新的事件或执行一个过程或函数等。 输入是状态之间迁移发生的原因，只有当一个迁移的输入事件出现或者（和）迁移的输入中条件满足时，该迁移所联系的状态才可发生转移。动作的执行被认为是瞬时的。触发和动作以“事件[条件]/动作”的形式标注在迁移弧旁。 S1 E[in(S1)]/R [t=2]/F S3 S2 T1 T S R T2 R F /E F/R * ① 迁移上的条件、事件和动作 预定义的与状态、数据项、时间有关的条件、事件和动作 （P36） 条件：in(S) 表示是否处于状态S中，如是则为真，否则为假； ac(A) 表示活动A是否处于活动状态，如是则为真，否则为假； hg(A) 表示活动A是否处于挂起状态，如是则为真，否则为假； 事件：en(S) 表示进入状态S；ex(S) 表示退出状态S； ns表示正在进入当前状态； xs表示正在退出当前状态； st(A)表示活动A被启动；st表示当前活动被启动；sp(A)表示活动A被停止； tr(C)表示条件C变为真；fs(C)表示条件C变为假； rd(X)表示X被动作rd!读；wr(X)表示X被动作wr!写；ch(X)表示数据项X的值发生改变； tm(E，N)表示事件E发生后，已过了N个时间单位。 动作：tr!(C) 表示对条件C赋值真； fs!(C) 表示对条件C赋值假； st!(A)表示启动活动A；sp!(A)表示停止活动A；sd!(A)表示挂起活动A； rs!(A)表示重新开始活动A； rd!(X) 表示读数据或条件X；wr!(X) 表示写数据或条件X； hc!(S) 表示忘记状态S的历史信息；hd!(S) 表示忘记状态S的后继状态的历史信息。 事件、条件和动作可进行逻辑and ,or ,not等运算。 如：E1 and E2表示事件E1与E2同时发生；C1 or C2表示C1和C2的或逻辑运算。 ② 迁移与状态的连接 迁移描述了简单状态和简单状态、简单状态和递阶状态、递阶状态和递阶状态之间的状态转移关系。 迁移用有向弧图示，有向弧可以从一个状态的边界引出，终止于另一状态的边界，也可以穿过先辈状态的边界。 当一个迁移没有指明其源状态时，则称之为缺省迁移。其所指向的状态，称为缺省状态。缺省迁移用圆点箭线弧表示。 缺省迁移可以指向一个状态，也可以穿过先辈状态的边框直接指向某一子状态。 当迁移指向一个与状态时，则相当于指向其所有的子状态；当迁移指向一个或状态时，则相当于指向其缺省的子状态。当退出一个状态时，则相当退出其所有的子状态。 R F S2 S22 S21 S1 R F S2 S22 S21 S1 U R F S S22 S21 S1 T T2 T1 U * ③ 复合迁移 为了简化图形中迁移的有向弧线，Statecharts中引入了一些辅助符号，从而得到状态之间转移关系的复合迁移。 条件连接符 也称为C-连接符，用于条件的连接。Statecharts规定始于C-连接符的条件分支可以多个，但是这些条件分支必须是异或的。 S1 S3 S2 [C1] E C [C2] S1 S3 S2 E[C1] E[C2] * ③ 复合迁移 --开关连接符