增强最终用户在调试触发器操作规则中的能力

最终用户可以编程触发-动作规则以个性化其智能设备和在线服务的联合行为。然而，对于非程序员而言，触发-动作编程是一项复杂的任务，而在规则组成过程中出现的错误可能导致不可预测的行为和安全问题，例如持续闪烁的灯或意外解锁的门。在本文中，我们介绍了EUDebug，这是一个使最终用户能够调试触发-动作规则的系统。使用EUDebug，用户可以在类似IFTTT的基于Web的应用程序中组成规则。EUDebug突出显示所有定义规则集可能产生的潜在问题，并允许逐步模拟。在幕后，一个混合语义彩色Petri网（SCPN）模型、检查并模拟触发-动作规则及其交互。对15名最终用户的探索性研究表明，EUDebug有助于识别和理解触发-动作规则中的问题，这些问题在现有平台上不易被发现。