SCTAP: Supporting Scenario-Centric Trigger-Action Programming based on Software-Defined Physical Environments
Bingkun Sun, Liwei Shen, Xin Peng, Ziming Wang
摘要
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.
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper,每个回答都会注明依据哪几篇。
相关 Paper
- Detecting Smart Home Automation Application Interferences with Domain KnowledgeTao Wang, Wei Chen, Liwei Liu, Guoquan Wu 等ASE 2023 · 被引用 3 次
- Helping Users Debug Trigger-Action ProgramsLefan Zhang, Cyrus Zhou, Michael L. Littman, Blase Ur 等UbiComp 2023 · 被引用 14 次
- TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property ReasoningYinbo Yu, Yuanqi Xu, Kepu Huang, Jiajia LiuUSENIX Security 2024 · 被引用 6 次
- Trace2TAP: Synthesizing Trigger-Action Programs from Traces of BehaviorLefan Zhang, Weijia He, Olivia Morkved, Valerie Zhao 等UbiComp 2020 · 被引用 22 次
- Security Checking of Trigger-Action-Programming Smart Home IntegrationsLei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai 等ISSTA 2023 · 被引用 7 次
