研究文章

自动点击：使用LTL属性合成和修复触发动作程序

作者:

杰西马丁内斯,

诺亚布拉肯伯里,

掸邦卢、和

布莱斯你的作者信息和声明

ICSE’19：第41届国际软件工程会议记录

2019年5月

页281-291

https://doi.org/10.109/ICSE.2019.00043

出版:2019年5月25日出版历史记录

获取访问权限

摘要

终端用户编程，特别是触发操作编程（TAP），是一种流行的方法，可以让用户表达他们对智能设备和云服务如何交互的意图。不幸的是，有时用户很难通过TAP正确表达他们的愿望。本文介绍了AutoTap，这是一个允许新手用户轻松指定设备和服务所需属性的系统。AutoTap将这些属性转换为线性时态逻辑（LTL），二者都自动从头开始合成满足属性的TAP规则，并修复现有TAP规则。我们根据用户对用户希望表达的属性的研究设计了AutoTap。通过第二项用户研究，我们发现，与使用TAP规则相比，新手用户在使用AutoTap表达所需行为时犯的错误要少得多。我们的实验表明，AutoTap是一种简单有效的表达型最终用户编程选项。

工具书类

[1]

T.Klosowski，“自动化决战：IFTTT vs Zapier vs Microsoft Flow”，LifeHacker，2016年6月26日。

[2]

M.Hughes，“Mozilla的新事物网关是智能设备的开放之家”，TheNextWeb，2018年2月7日。

[3]

W.Mossberg，“SmartThings通过传感器、应用程序实现房屋自动化”，Recode.net，2014年。

[4]

打开HAB，https://www.openhab.org/。

[5]

家庭助理，https://www.home-assistant.io/docs/automation/。

[6]

R.Chard、K.Chard、J.Alt、D.Y.Parkinson、S.Tuecke和I.Foster，《涟漪：研究数据管理的家庭自动化》程序。ICDCSW公司, 2017.

[7]

B.Ur、M.Pak Yong Ho、S.Brawner、J.Lee、S.Mennicken、N.Picard、D.Schulze和M.L.Littman，《野外触发动作编程：20万IFTTT食谱分析》程序。芝加哥, 2016.

数字图书馆

[8]

X.Mi、F.Qian、Y.Zhang和X.Wang，“IFTTT的实证表征：生态系统、使用和性能”，摘自程序。IMC公司, 2017.

数字图书馆

[9]

B.Ur、E.McManus、M.Pak Yong Ho和M.L.Littman，“智能家居中的实用触发器操作编程”，in程序。芝加哥, 2014.

数字图书馆

[10]

J.Huang和M.Cakmak，“在触发动作编程中支持心理模型准确性”，in程序。UbiComp公司, 2015.

数字图书馆

[11]

L.Yarosh和P.Zave，《锁定与否：物联网特征交互的心理模型》，in程序。芝加哥, 2017.

数字图书馆

[12]

A.A.Nacci、B.Balaji、P.Spoletini、R.Gupta、D.Sciuto和Y.Agarwal，“建筑规则：管理复杂商业建筑的基于触发动作的系统”附属程序。UbiComp公司, 2015.

数字图书馆

[13]

J.Brich、M.Walch、M.Rietzler、M.Weber和F.Schaub，“探索家庭自动化中的最终用户编程需求，”ACM TOCHI公司，第24卷，第2期，第11页，2017年。

数字图书馆

[14]

W.Brackenbury、A.Deora、J.Ritchey、J.Vallee、W.He、G.Wang、M.L.Littman和B.Ur，《用户如何解释触发操作编程中的错误》，in程序。芝加哥, 2019.

数字图书馆

[15]

Q.Wang、W.U.Hassan、A.Bates和C.Gunter，《物联网中的恐惧和登录》程序。NDSS公司, 2018.

[16]

M.Surbatovich、J.Aljuraidan、L.Bauer、A.Das和L.Jia，“一些食谱不仅会破坏你的食欲：分析IFTTT食谱的安全和隐私风险”程序。万维网, 2017.

数字图书馆

[17]

M.Lumpe、I.Meedeniya和L.Grunske，“PSPWizar:使用规范模式的时间逻辑属性的机器辅助定义”，in程序。ESEC/FSE, 2011.

数字图书馆

[18]

J.R.Büchi和L.H.Landweber，“通过有限状态策略解决序列条件”美国数学学会会刊第138卷，第295--31199页。

[19]

N.Piterman、A.Pnueli和Y.Saar，《反应性（1）设计的合成》程序。VMCAI公司, 2006.

数字图书馆

[20]

E.Letier和W.Heaven，“道义输入-输出自动机合成的需求建模”，in程序。ICSE公司, 2013.

数字图书馆

[21]

C.-J.M.Liang、L.Bu、Z.Li、J.Zhang、S.Han、B.F.Karlsson、D.Zhang和F.Zhao，《系统调试物联网控制系统的正确性以实现楼宇自动化》程序。BuildSys（构建系统）, 2016.

数字图书馆

[22]

L.Bu、W.Xiong、C.-J.M.Liang、S.Han、D.Zhang、S.Lin和X.Li，“系统地确保实时家庭自动化物联网系统的信心，”ACM TCPS公司，第2卷，第3期，第22页，2018年。

数字图书馆

[23]

C.Nandi和M.D.Ernst，“基于规则的智能家居的自动触发生成”，in程序。血浆, 2016.

数字图书馆

[24]

Z.B.Celik、P.McDaniel和G.Tan，“SOTERIA:自动化物联网安全和安保分析”程序。USENIX ATC公司, 2018.

数字图书馆

[25]

R.Degiovanni、D.Alrajeh、N.Aguirre和S.Uchitel，《基于插值和SAT求解的自动化目标操作》程序。ICSE公司, 2014.

数字图书馆

[26]

X.Chen、C.Liu、R.Shin、D.Song和M.Chen，“对if-then程序合成的潜在关注”程序。NIPS公司, 2016.

数字图书馆

[27]

C.Quirk、R.Mooney和M.Galley，“语言到代码：学习if-this-then-that菜谱的语义解析器”，in程序。国际计算语言学协会, 2015.

[28]

T.-H.K.Huang、A.Azaria和J.P.Bigham，《可指导人群：通过与人群对话创建if-then规则》程序。CHI扩展摘要, 2016.

数字图书馆

[29]

J.-b.Woo和Y.-k.Lim，“do-it-your-self-style智能家居的用户体验”，in程序。UbiComp公司, 2015.

数字图书馆

[30]

E.Fernandes、A.Rahmati、J.Jung和A.Prakash，《触发行动物联网平台的分散行动完整性》，in程序。NDSS公司, 2018.

[31]

E.Oswald，“IFTTT竞争对手Stringify获得重大更新”，TechHive，2016年6月22日。

[32]

A.Rahmati、E.Fernandes、J.Jung和A.Prakash，“IFTTT与Zapier:触发动作编程框架的比较研究”arXiv.1709.02788, 2017.

[33]

C.Baier和J.-P.Katoen，模型检查原则。麻省理工学院出版社，2008年。

数字图书馆

[34]

R.Bodik和B.Jobstmann，“算法程序合成：简介”国际技术转让软件工具杂志，第15卷，第5期，第397--411页，2013年10月。

数字图书馆

[35]

三星，“功能参考”https://docs.smarthings.com/en/latest/caabilities-reference.html，2019年2月访问。

[36]

R.Gerth、D.Peled、M.Y.Vardi和P.Wolper，“线性时序逻辑的简单实时自动验证”，in程序。公共电视台, 1995.

数字图书馆

[37]

A.Duret-Lutz、A.Lewkowicz、A.Faucille、T.Michaud、E.Renault和L.Xu，“ltl和ω-自动操作，“in程序。ATVA公司, 2016.

[38]

R.Koymans，“用度量时态逻辑指定实时属性”实时系统，第2卷，第4期，第255-299页，1990年。

数字图书馆

[39]

R.Alur和D.L.Dill，“时间自动机理论”理论计算机科学第126卷，第2期，第183-235页，1994年。

数字图书馆

[40]

G.Ghiani、M.Manca、F.Paternó和C.Santoro，“通过触发器操作规则对上下文相关应用程序进行个性化，”ACM TOCHI公司，第24卷，第2期，第14页，2017年。

数字图书馆

[41]

R.Darimont、E.Delor、P.Massonet和A.van Lamsweerde，“GRAIL/KAOS：目标驱动需求工程的环境”，in程序。ICSE公司, 1997.

数字图书馆

引用人

歌曲Y卞Y王X蔡Z(2024)从用户驱动的事件中学习以生成自动化序列ACM互动、移动、穿戴和普及技术会议录10.1145/36314277:4(1-22)在线发布日期：2024年1月12日
https://dl.acm.org/doi/10.1145/3631427
Wan L公司王凯（Wang K）马哈杜瓦K王H白G蔡TNgo C公司Ka-Wei Lee R公司库马尔R劳·H(2024)不要吃得太多：调查触发器-动作集成中的过度权限请求2024年ACM网络会议记录10.1145/3589334.3645721(3106-3116)在线发布日期：2024年5月13日
https://dl.acm.org/doi/10.1145/3589334.3645721
Bu L公司张Q李斯（Li S）戴杰白G陈凯李X仅R弗雷泽G(2023)触发-操作-编程智能家居集成的安全检查第32届ACM SIGSOFT软件测试与分析国际研讨会论文集10.1145/3597926.3598084(639-651)在线发布日期：2023年7月12日
https://dl.acm.org/doi/10.1145/3597926.3598084
显示更多引用者

建议

用户如何解释触发动作编程中的错误
CHI'19：2019年CHI计算机系统人为因素会议记录

触发操作编程（TAP）是一种编程模型，使用户可以通过编写if-then规则来连接服务和设备。由于此类系统部署在越来越复杂的场景中，用户必须能够识别编程错误和原因。。。
阅读更多信息
野外触发动作编程：20万IFTTT配方分析
CHI’16：2016 CHI计算机系统人为因素会议记录

虽然研究人员长期以来一直在使用触发器-动作（if-then）模型研究最终用户编程，但网站IFTTT是大规模使用此范式的首批实例之一。为了了解IFTTT用户正在创建什么，我们抓取了。。。
阅读更多信息
Trace2TAP：从行为痕迹合成触发动作程序

自动化物联网智能空间的两种常见方法是让用户使用触发动作编程（TAP）编写规则，或根据观察到的动作训练机器学习模型。在本文中，我们统一了这些方法。我们介绍并评估。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

ICSE’19：第41届国际软件工程会议记录

2019年5月

1318页

总主席：
乔安妮·M·阿特里
加拿大滑铁卢大学
,
课程主席：
特夫菲克·布尔坦
加州大学圣巴巴拉分校
,
乔恩·惠特尔
澳大利亚莫纳什大学

赞助商

SIGSOFT:ACM软件工程特别兴趣小组
IEEE-CS：计算机社会

出版商

IEEE出版社

出版历史记录

出版：2019年5月25日

检查更新

徽章

作者标记

限定符

研究文章

会议

ICSE’19

赞助商：

SIGSOFT公司
IEEE-CS标准

ICSE’19:41届国际软件工程会议

2019年5月25日至31日

加拿大蒙特利尔魁北克

接受率

总体接受率：1856份提交文件中的276份，15%

即将召开的会议

ICSE 2025年

2025 IEEE/ACM第46届国际软件工程会议

2025年4月26日至5月3日

渥太华，打开，加拿大

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

21
引文总数
查看引文
210
总下载次数

下载次数（过去12个月）20
下载次数（最近6周）5

其他指标

查看作者指标

引文

引用人

歌曲Y卞Y王X蔡Z(2024)从用户驱动事件中学习以生成自动化序列ACM互动、移动、穿戴和普及技术会议录10.1145/36314277:4(1-22)在线发布日期：2024年1月12日
https://dl.acm.org/doi/10.1145/3631427网址
Wan L公司王凯（Wang K）马哈杜瓦K王H白G蔡TNgo C公司Ka-Wei Lee R公司库马尔R劳·H(2024)不要吃得太多：调查触发器-动作集成中的过度权限请求2024年ACM网络会议记录10.1145/3589334.3645721(3106-3116)在线发布日期：2024年5月13日
https://dl.acm.org/doi/10.1145/3589334.3645721
Bu L公司张Q李S戴杰白G陈凯李X仅R弗雷泽G(2023)触发-操作-编程智能家居集成的安全检查第32届ACM SIGSOFT软件测试与分析国际研讨会论文集10.1145/3597926.3598084(639-651)在线发布日期：2023年7月12日
https://dl.acm.org/doi/10.1145/3597926.3598084
张磊周C利特曼M你的B卢S(2023)帮助用户调试触发器操作程序ACM互动、移动、穿戴和普及技术会议录10.1145/35695066:4(1-32)在线发布日期：2023年1月11日
https://dl.acm.org/doi/10.1145/3569506
波菲里奥D斯坦纳L蛋糕M沙佩A阿尔巴胡蒂A穆特鲁B卡斯特拉诺G瑞尔L蛋糕M莱特一世(2023)动态绘制机器人程序2023年ACM/IEEE人机交互国际会议记录10.1145/3568162.3576991(584-593)在线发布日期：2023年3月13日
https://dl.acm.org/doi/10.1145/3568162.3576991
奥兹曼M李X楚A塞利克Z霍克夏B张X阴H斯塔夫鲁ACremers C公司施娥(2022)发现物联网物理通道漏洞2022年ACM SIGSAC计算机和通信安全会议记录10.1145/3548606.3560644(2415-2428)在线发布日期：2022年11月7日
https://dl.acm.org/doi/10.1145/3548606.3560644
阿提祖五世Cherchi G公司法拉·DV夫人Macis R公司Pitzalis L公司托拉A布莱西奇I斯帕诺L(2022)为最终用户定义可配置的虚拟现实模板ACM人机交互会议录10.1145/35345176：EICS(1-35)在线发布日期：2022年6月17日
https://dl.acm.org/doi/10.1145/3534517
铜牌S瓦纳肯D卢伊滕K(2022)FortClash：预测和调解家庭自动化中的意外行为ACM人机交互会议录10.1145/35322046：EICS(1-20)在线发布日期：2022年6月17日
https://dl.acm.org/doi/10.1145/3532204
优素福一世蒋L低D拉斯托吉语A图法诺R巴沃塔GArnaoudova五世海杜克S(2022)使用域自适应序列到序列学习精确生成触发器操作程序第30届IEEE/ACM程序理解国际会议记录10.1145/3524610.3527922(99-110)在线发布日期：2022年5月16日
https://dl.acm.org/doi/10.1145/3524610.3527922
蒋K张H张伟芳·LGe C公司元Y刘Z(2021)螺纹链安全和通信网络10.1155/2021/65686022021在线发布日期：2021年12月23日
https://dl.acm.org/doi/10.1155/2021/6568602
显示更多引用者

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子