桥接和桥接网络状态图中使用的符号约定、共享和独立VLAN学习（SVL和IVL）、VLAN支持的MAC方法相关方面.pdfVIP

GB/T XXXXX—XXXX 附 录 E （规范性） 状态图中使用的符号约定 状态图用于表示许多协作状态机对协议的操作。每个包括一组连接的，互斥的状态。每台机器只 能有一种状态，在任何给定时间都有效。 每个状态在状态图中表示为矩形框，由水平分成两部分线。上部包含状态标识符，以大写字母书 写。下半部分包含任何进入时执行的程序。 状态之间的所有允许转换用箭头表示，箭头表示方向可能的转变。附在箭头上的标签表示应满足 的条件过渡到发生。所有条件都是评估为TRUE或FALSE的表达式；如果有条件评估为TRUE，然后满足条 件。标签UCT表示无条件转换 （即UCT）始终评估为TRUE）。本质上是全球性的转变 （即，从任何一个 转变发生的转变），如果满足附加到箭头的条件，则可能的状态用空心箭头表示，即没有特定的国家 被确定为过渡的起源。当与全局转换相关的条件是遇到了，它取代了包括UCT在内的所有其他退出条 件。特殊的全局条件BEGIN取代所有其他全局条件，并且一旦断言的存在，直到所有状态块都执行到指 出变量赋值及其执行的其他后果保持不变。