摘要
T.Klosowski，“自动化决战：IFTTT vs Zapier vs Microsoft Flow”，LifeHacker，2016年6月26日。 谷歌学者 
M.Hughes，“Mozilla的新Things Gateway是您智能设备的开放之家”，TheNextWeb，2018年2月7日。 谷歌学者 W.Mossberg，“SmartThings通过传感器、应用程序实现房屋自动化”，Recode.net，2014年。 谷歌学者 打开HAB， https://www.openhab.org/。 谷歌学者 家庭助理， https://www.home-assistant.io/docs/automation/。 谷歌学者 R.Chard、K.Chard、J.Alt、D.Y.Parkinson、S.Tuecke和I.Foster，《涟漪：研究数据管理的家庭自动化》 程序。 icdc软件 , 2017. 谷歌学者 交叉引用 
B.Ur、M.Pak Yong Ho、S.Brawner、J.Lee、S.Mennicken、N.Picard、D.Schulze和M.L.Littman，“野外触发动作编程：对200000个IFTTT食谱的分析” 程序。 芝加哥 , 2016. 谷歌学者 数字图书馆 
X.Mi、F.Qian、Y.Zhang和X.Wang，“IFTTT的实证表征：生态系统、使用和性能”，摘自 程序。 国际货币基金组织 , 2017. 谷歌学者 数字图书馆 B.Ur、E.McManus、M.Pak Yong Ho和M.L.Littman，“智能家居中的实用触发器操作编程”，in 程序。 芝加哥 , 2014. 谷歌学者 数字图书馆 J.Huang和M.Cakmak，“在触发动作编程中支持心理模型准确性”，in 程序。 UbiComp公司 , 2015. 谷歌学者 数字图书馆 L.Yarosh和P.Zave，《锁定与否：物联网特征交互的心理模型》，in 程序。 芝加哥 , 2017. 谷歌学者 数字图书馆 A.A.Nacci、B.Balaji、P.Spoletini、R.Gupta、D.Sciuto和Y.Agarwal，《建筑规则：管理复杂商业建筑的基于触发动作的系统》 附属程序。 UbiComp公司 , 2015. 谷歌学者 数字图书馆 J.Brich、M.Walch、M.Rietzler、M.Weber和F.Schaub，“探索家庭自动化中的最终用户编程需求，” ACM TOCHI公司 ，第24卷，第2期，第11页，2017年。 谷歌学者 数字图书馆 W.Brackenbury、A.Deora、J.Ritchey、J.Vallee、W.He、G.Wang、M.L.Littman和B.Ur，《用户如何解释触发操作编程中的错误》，in 程序。 芝加哥 , 2019. 谷歌学者 数字图书馆 Q.Wang、W.U.Hassan、A.Bates和C.Gunter，《物联网中的恐惧和登录》 程序。 NDSS公司 , 2018. 谷歌学者 M.Surbatovich、J.Aljuraidan、L.Bauer、A.Das和L.Jia，“一些食谱不仅会破坏你的食欲：分析IFTTT食谱的安全和隐私风险” 程序。 万维网 , 2017. 谷歌学者 数字图书馆 M.Lumpe、I.Meedeniya和L.Grunske，“PSPWizar:使用规范模式的时间逻辑属性的机器辅助定义”，in 程序。 ESEC/FSE , 2011. 谷歌学者 数字图书馆 J.R.Büchi和L.H.Landweber，“通过有限状态策略解决序列条件” 美国数学学会会刊 第138卷，第295--31199页。 谷歌学者 交叉引用 N.Piterman、A.Pnueli和Y.Saar，《反应性（1）设计的合成》 程序。 VMCAI公司 , 2006. 谷歌学者 数字图书馆 E.Letier和W.Heaven，“道义输入-输出自动机合成的需求建模”，in 程序。 ICSE公司 , 2013. 谷歌学者 数字图书馆 C.-J.M.Liang、L.Bu、Z.Li、J.Zhang、S.Han、B.F.Karlsson、D.Zhang和F.Zhao，《系统调试物联网控制系统的正确性以实现楼宇自动化》 程序。 BuildSys（构建系统） , 2016. 谷歌学者 数字图书馆 L.Bu、W.Xiong、C.-J.M.Liang、S.Han、D.Zhang、S.Lin和X.Li，“系统地确保实时家庭自动化物联网系统的信心，” ACM TCPS公司 ，第2卷，第3期，第22页，2018年。 谷歌学者 数字图书馆 C.Nandi和M.D.Ernst，“基于规则的智能家居的自动触发生成”，in 程序。 血浆 , 2016. 谷歌学者 数字图书馆 Z.B.Celik、P.McDaniel和G.Tan，“SOTERIA：自动化物联网安全和安保分析”，in 程序。 USENIX ATC公司 , 2018. 谷歌学者 数字图书馆 R.Degiovanni、D.Alrajeh、N.Aguirre和S.Uchitel，《基于插值和SAT求解的自动化目标操作》 程序。 ICSE公司 , 2014. 谷歌学者 数字图书馆 X.Chen，C.Liu，R.Shin，D.Song，和M.Chen，“对if-then程序合成的潜在关注”，in 程序。 NIPS公司 , 2016. 谷歌学者 数字图书馆 C.Quirk、R.Mooney和M.Galley，“语言到代码：学习如果这个那么那个食谱的语义解析器” 程序。 国际计算语言学协会 , 2015. 谷歌学者 交叉引用 T.-H.K.Huang、A.Azaria和J.P.Bigham，“可指导的人群：通过与人群的对话创造if-then规则” 程序。 CHI扩展摘要 , 2016. 谷歌学者 数字图书馆 J.-b.Woo和Y.-k.Lim，“do-it-your-self-style智能家居的用户体验”，in 程序。 UbiComp公司 , 2015. 谷歌学者 数字图书馆 E.Fernandes、A.Rahmati、J.Jung和A.Prakash，《触发行动物联网平台的分散行动完整性》，in 程序。 NDSS公司 , 2018. 谷歌学者 E.Oswald，“IFTTT竞争对手Stringify获得重大更新”，TechHive，2016年6月22日。 谷歌学者 A.Rahmati、E.Fernandes、J.Jung和A.Prakash，“IFTTT与Zapier:触发动作编程框架的比较研究” arXiv.1709.02788 , 2017. 谷歌学者 C.Baier和J.-P.Katoen， 模型检查原则。 麻省理工学院出版社，2008年。 谷歌学者 数字图书馆 R.Bodik和B.Jobstmann，“算法程序合成：简介” 国际技术转让软件工具杂志 ，第15卷，第5期，第397--411页，2013年10月。 谷歌学者 数字图书馆 三星，“功能参考” https://docs.smarthings.com/en/latest/caabilities-reference.html ，2019年2月访问。 谷歌学者 R.Gerth、D.Peled、M.Y.Vardi和P.Wolper，“线性时序逻辑的简单实时自动验证”，in 程序。 公共电视台 , 1995. 谷歌学者 数字图书馆 A.Duret-Lutz、A.Lewkowicz、A.Faucille、T.Michaud、E.Renault和L.Xu，“ltl和 ω -自动操作，“in 程序。 ATVA公司 , 2016. 谷歌学者 交叉引用 R.Koymans，“用度量时态逻辑指定实时属性” 实时系统 ，第2卷，第4期，第255-299页，1990年。 谷歌学者 数字图书馆 R.Alur和D.L.Dill，“时间自动机理论” 理论计算机科学 第126卷，第2期，第183-235页，1994年。 谷歌学者 数字图书馆 G.Ghiani、M.Manca、F.Paternó和C.Santoro，“通过触发器操作规则对上下文相关应用程序进行个性化，” ACM TOCHI公司 ，第24卷，第2期，第14页，2017年。 谷歌学者 数字图书馆 R.Darimont、E.Delor、P.Massonet和A.van Lamsweerde，“GRAIL/KAOS：目标驱动需求工程的环境”，in 程序。 ICSE公司 , 1997. 谷歌学者 数字图书馆
建议
用户如何解释触发动作编程中的错误 CHI'19：2019年CHI计算机系统人为因素会议记录 触发操作编程（TAP）是一种编程模型，使用户可以通过编写if-then规则来连接服务和设备。 由于此类系统部署在越来越复杂的场景中，用户必须能够识别编程错误和原因。。。 野外触发动作编程：20万IFTTT配方分析 CHI’16：2016年计算机系统人为因素大会论文集 虽然研究人员长期以来一直在使用触发器-动作（if-then）模型研究最终用户编程，但网站IFTTT是大规模使用此范式的首批实例之一。 为了了解IFTTT用户正在创建什么，我们删去了。。。 Trace2TAP：从行为痕迹合成触发动作程序 物联网智能空间自动化的两种常见方法是让用户使用触发操作编程（TAP）编写规则，或基于观察到的操作训练机器学习模型。 在本文中，我们统一了这些方法。 我们介绍并评估。。。
