转换的三段式标签语法

转换（transition）表示从一个状态到另一个状态的转移，它的标签由三部分组成：trigger-signature[guard]/activity（触发器-签名[警戒条件]/活动），三部分都是可选的。trigger-signature通常是触发状态潜在改变的事件（可含参数）；guard是转换要执行时必须为真的布尔条件；activity是转换期间执行的行为。三部分各自缺省有明确含义：没有活动部分表示转换期间不做任何事；没有警戒条件表示事件发生时总会执行该转换；没有触发器部分则表示要立即执行该转换（多用于活动状态场景），这种情况很少见。

结构图：

flowchart LR
    A["trigger-signature<br/>(触发事件, 可选)"] --> D["转换标签"]
    B["[guard]<br/>(警戒条件, 可选)"] --> D
    C["/activity<br/>(执行的行为, 可选)"] --> D
    D --> E["缺trigger: 立即执行(罕见)"]
    D --> F["缺guard: 事件发生必执行"]
    D --> G["缺activity: 转换期间不做事"]