SCTAP: Supporting Scenario-Centric Trigger-Action Programming based on Software-Defined Physical Environments
Bingkun Sun, Liwei Shen, Xin Peng, Ziming Wang
Abstract
The physical world we live in is accelerating digitalization with the vigorous development of Internet of Things (IoT). Following this trend, Web of Things (WoT) further enables fast and efficient creation of various applications that perceive and act on the physical world using standard Web technologies. A popular way for creating WoT applications is Trigger-Action Programming (TAP), which allows users to orchestrate the capabilities of IoT devices in the form of “if trigger, then action”. However, existing TAP approaches don’t support scenario-centric WoT applications which involve abstract modeling of physical environments and complex spatio-temporal dependencies between events and actions. In this paper, we propose an approach called SCTAP which supports Scenario-Centric Trigger-Action Programming based on software-defined physical environments. SCTAP defines a structured and conceptual representation for physical environments, which provides the required programming abstractions for WoT applications. Based on the representation, SCTAP defines a grammar for specifying scenario-centric WoT applications with spatio-temporal dependencies. Furthermore, we design a service-based architecture for SCTAP which supports the integration of device access, event perception, environment representation, and rule execution in a loosely-coupled and extensible way. We implement SCTAP as a WoT infrastructure and evaluate it with two case studies including a smart laboratory and a smart coffee house. The results confirm the usability, feasibility and efficiency of SCTAP and its implementation.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 01babac6-076a-49bd-b48c-c5d827cb0895Related papers
- Detecting Smart Home Automation Application Interferences with Domain KnowledgeTao Wang, Wei Chen, Liwei Liu, Guoquan Wu et al.ASE 2023 · 3 citations
- Helping Users Debug Trigger-Action ProgramsLefan Zhang, Cyrus Zhou, Michael L. Littman, Blase Ur et al.UbiComp 2023 · 14 citations
- TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property ReasoningYinbo Yu, Yuanqi Xu, Kepu Huang, Jiajia LiuUSENIX Security 2024 · 6 citations
- Trace2TAP: Synthesizing Trigger-Action Programs from Traces of BehaviorLefan Zhang, Weijia He, Olivia Morkved, Valerie Zhao et al.UbiComp 2020 · 22 citations
- Security Checking of Trigger-Action-Programming Smart Home IntegrationsLei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai et al.ISSTA 2023 · 7 citations
