{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:24:34Z","timestamp":1761582274976,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,4,30]],"date-time":"2023-04-30T00:00:00Z","timestamp":1682812800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,4,30]]},"DOI":"10.1145\/3543507.3583293","type":"proceedings-article","created":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T23:30:51Z","timestamp":1682551851000},"page":"2916-2926","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["SCTAP: Supporting Scenario-Centric Trigger-Action Programming based on Software-Defined Physical Environments"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2264-5729","authenticated-orcid":false,"given":"Bingkun","family":"Sun","sequence":"first","affiliation":[{"name":"School of Computer Science and Shanghai Key Laboratory of Data Science, Fudan University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8107-0590","authenticated-orcid":false,"given":"Liwei","family":"Shen","sequence":"additional","affiliation":[{"name":"School of Computer Science and Shanghai Key Laboratory of Data Science, Fudan University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3376-2581","authenticated-orcid":false,"given":"Xin","family":"Peng","sequence":"additional","affiliation":[{"name":"School of Computer Science and Shanghai Key Laboratory of Data Science, Fudan University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2720-9571","authenticated-orcid":false,"given":"Ziming","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Shanghai Key Laboratory of Data Science, Fudan University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,4,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2017.12.002"},{"key":"e_1_3_2_1_2_1","unstructured":"Home Assistant. 2022. Home Assistant. https:\/\/www.home-assistant.io\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking."},{"key":"e_1_3_2_1_4_1","volume-title":"TAESim: A Testbed for IoT Security Analysis of Trigger-Action Environment. In Computer Security. ESORICS 2021 International Workshops. 218\u2013237","author":"Ban Xinbo","year":"2022","unstructured":"Xinbo Ban, Ming Ding, Shi xiang Liu, Chao Chen, Jun Zhang, and Yang Xiang. 2022. TAESim: A Testbed for IoT Security Analysis of Trigger-Action Environment. In Computer Security. ESORICS 2021 International Workshops. 218\u2013237."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3471937"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2018.12.008"},{"key":"e_1_3_2_1_7_1","volume-title":"How do end-users program the Internet of Things?Behaviour & Information Technology 41","author":"Corno Fulvio","year":"2022","unstructured":"Fulvio Corno, Luigi\u00a0De Russis, and Alberto\u00a0Monge Roffarello. 2022. How do end-users program the Internet of Things?Behaviour & Information Technology 41 (2022), 1865 \u2013 1887."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11748625_16"},{"key":"e_1_3_2_1_9_1","unstructured":"edgeX. 2022. edgeX. https:\/\/docs.edgexfoundry.org\/. (2022)."},{"key":"e_1_3_2_1_10_1","volume-title":"Workshop on Mashups, Enterprise Mashups and Lightweight Composition on the Web (MEM 2009), in proceedings of WWW (International World Wide Web Conferences)","author":"Guinard Dominique","year":"2009","unstructured":"Dominique Guinard and Vlad Trifa. 2009. Towards the web of things: Web mashups for embedded devices. In Workshop on Mashups, Enterprise Mashups and Lightweight Composition on the Web (MEM 2009), in proceedings of WWW (International World Wide Web Conferences), Madrid, Spain, Vol.\u00a015. 8."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/INSS.2009.5409925"},{"volume-title":"A resource oriented architecture for the web of things. In 2010 Internet of Things (IOT)","author":"Guinard Dominique","key":"e_1_3_2_1_12_1","unstructured":"Dominique Guinard, Vlad Trifa, and Erik Wilde. 2010. A resource oriented architecture for the web of things. In 2010 Internet of Things (IOT). IEEE, 1\u20138."},{"key":"e_1_3_2_1_13_1","volume-title":"IFIP Conference on Human-Computer Interaction. Springer, 927\u2013937","author":"H\u00e4kkil\u00e4 Jonna","year":"2005","unstructured":"Jonna H\u00e4kkil\u00e4, Panu Korpip\u00e4\u00e4, Sami Ronkainen, and Urpo Tuomela. 2005. Interaction and end-user programming with a context-aware mobile application. In IFIP Conference on Human-Computer Interaction. Springer, 927\u2013937."},{"key":"e_1_3_2_1_14_1","volume-title":"RT-IFTTT: Real-Time IoT Framework with Trigger Condition-Aware Flexible Polling Intervals. 2017 IEEE Real-Time Systems Symposium (RTSS)","author":"Heo Seonyeong","year":"2017","unstructured":"Seonyeong Heo, Seungbin Song, Jong Kim, and Hanjun Kim. 2017. RT-IFTTT: Real-Time IoT Framework with Trigger Condition-Aware Flexible Polling Intervals. 2017 IEEE Real-Time Systems Symposium (RTSS) (2017), 266\u2013276."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2805830"},{"key":"e_1_3_2_1_16_1","unstructured":"IFTTT. 2022. IFTTT. https:\/\/ifttt.com\/. (2022)."},{"key":"e_1_3_2_1_17_1","unstructured":"Azure IoT. 2022. Azure IoT. https:\/\/docs.microsoft.com\/azure\/iot-hub\/iot-hub-devguide-device-twins. (2022)."},{"key":"e_1_3_2_1_18_1","volume-title":"Real-Time Execution of Trigger-Action Connection for Home Internet-of-Things. IEEE INFOCOM 2022 - IEEE Conference on Computer Communications","author":"Dong Kai","year":"2022","unstructured":"Kai kun Dong, Yakun Zhang, Yuchen Zhao, Daoming Li, Zhen Ling, Wenjia Wu, and Xiaorui Zhu. 2022. Real-Time Execution of Trigger-Action Connection for Home Internet-of-Things. IEEE INFOCOM 2022 - IEEE Conference on Computer Communications (2022), 1489\u20131498."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300675"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3034390"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2960150"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7263373"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2477467"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2018.11.005"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131365.3131369"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-018-1089-9"},{"key":"e_1_3_2_1_27_1","unstructured":"openHAB. 2022. openHAB. https:\/\/www.openhab.org\/."},{"key":"e_1_3_2_1_28_1","volume-title":"Barry Nouwt, and Laura Daniele.","author":"Reda Roberto","year":"2022","unstructured":"Roberto Reda, Antonella Carbonaro, Viktor de Boer, Ronald Siebes, Roderick van\u00a0der Weerdt, Barry Nouwt, and Laura Daniele. 2022. Supporting Smart Home Scenarios Using OWL and SWRL Rules. Sensors (Basel, Switzerland) 22 (2022)."},{"key":"e_1_3_2_1_29_1","unstructured":"Roger\u00a0S. Scowen. 1998. Extended BNF \u2014 A generic base standard."},{"key":"e_1_3_2_1_30_1","unstructured":"SCTAP. 2022. SCTAP. https:\/\/sctap.github.io\/. (2022)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2908823"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858556"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557420"},{"key":"e_1_3_2_1_34_1","unstructured":"W3C. 2022. W3C. https:\/\/www.w3.org\/TR\/wot-thing-description10. (2022)."},{"key":"e_1_3_2_1_35_1","unstructured":"Qinyue Wu Beijun Shen and Yuting Chen. 2020. Learning to Recommend Trigger-Action Rules for End-User Development - A Knowledge Graph Based Approach. In ICSR."},{"key":"e_1_3_2_1_36_1","unstructured":"Zapier. 2022. Zapier. https:\/\/zapier.com\/. (2022)."},{"key":"e_1_3_2_1_37_1","volume-title":"AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties. 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE)","author":"Zhang Lefan","year":"2019","unstructured":"Lefan Zhang, Weijia He, Jesse Martinez, Noah Brackenbury, Shan Lu, and Blase Ur. 2019. AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties. 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE) (2019), 281\u2013291."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3334480.3382940"}],"event":{"name":"WWW '23: The ACM Web Conference 2023","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Austin TX USA","acronym":"WWW '23"},"container-title":["Proceedings of the ACM Web Conference 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3543507.3583293","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3543507.3583293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:22Z","timestamp":1750178242000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3543507.3583293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,30]]},"references-count":38,"alternative-id":["10.1145\/3543507.3583293","10.1145\/3543507"],"URL":"https:\/\/doi.org\/10.1145\/3543507.3583293","relation":{},"subject":[],"published":{"date-parts":[[2023,4,30]]},"assertion":[{"value":"2023-04-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}