Engee 文档

变化指标

此外 时间逻辑,可以在转换上设置更改指标。

*更改指标*是确定何时可以从一个状态转换到另一个状态的条件。 提出了以下指标:

  • 'hasChanged(variable`—-检查变量的值是否在当前步骤中发生了变化,如果是,则允许转换;

    sf guard 1

  • 'hasChangedFrom(variable,oldValue)'—检查变量是否已从指定的oldValue更改为任何其他值。;

    sf guard 2

  • 'hasChangedTo(variable,newValue)'—检查变量的值是否已更改为特定的新值newValue值。

    sf guard 3

有用的连结