扳机

创建触发器

触发器创建为Signal元素的实例或匿名事件。触发器在“过渡属性”对话框中连接到过渡，如下所示。在此示例中，已基于信号“ Signal_Pushdown”定义了名为“ Pushdown”的触发器。

• 省略类型和规范详细信息将产生一个简单的匿名触发器。
• 如果需要参数，这些参数在信号上定义，并且必须在事件触发时提供

触发器将出现在“浏览器”窗口的“项目”选项卡中，如下所示：

使用触发器

如前面的示例所示，通过将触发器连接到过渡来部署触发器，并在仿真过程中根据需要通过将其“触发”到运行的仿真中来使用触发器。

使用触发器时，应考虑以下几点：

• 在触发或触发有效触发之前，无法进行“触发”转换
• 接收到触发器后，它将激活取决于该触发器的所有当前等待的转换（即，广播该触发器）
• 在当前子状态的所有父级的所有转换上评估触发器；这允许父状态在必要时退出所有子状态
• 一旦用于仿真中，触发器将被消耗，如果需要再次触发，则必须重新触发
• 可以保存触发器集，并手动或自动触发，以促进在不同事件模型下进行自动模型仿真

触发触发器

触发触发器是指在当前模拟中发出信号或激活触发器。根据当前模拟的状态和并发性，这可能会激活零，一个或多个等待转换。

触发触发器可以通过多种方式实现。最有效的是“等待触发器”列表。

在模型仿真过程中，如果仿真器由于所需的触发器不可用（触发）而陷入僵局，则所有可能的候选触发器的列表将显示在“模拟事件”窗口的“等待触发器”列表中。

双击此列表中的触发器将其触发到仿真中。触发触发器的其他方法包括：

1. 在“事件”窗口中双击一个未签名的触发器。
   
   您还可以在这些事件上使用上下文菜单来发信号通知未签名的事件，或重新发信号通知先前已触发的事件。
2. 使用触发所需转换的上下文菜单，然后选择“仿真中的信号触发器”菜单选项。