This article tackles the problem of detecting and solving potential conflicts among independently developed apps that are to be installed into an open Internet-of-Things (IoT) environment. It provides a new set of definitions and categorizations of the conflicts to more precisely characterize the nature of the problem, and it proposes a representation named “IA Graphs” for formally representing IoT controls and inter-app interplays. Based on the definitions and representation, it then describes an efficient conflict detection algorithm. Combining conflict categories, seriousness indicator, and conflict frequency, an innovative solution policy for solving various detected conflicts is developed, which also takes into account user preference and interest by providing interactive process. It implements a compiler and runtime software system that integrates all the proposed techniques together into a comprehensive solution. Experiments on SmartThings apps validate its significantly better detection efficacy over prior methods and effectiveness of conflict solution with user preference.

中文翻译：

---

DIAC

本文解决了检测和解决要安装到开放物联网 (IoT) 环境中的独立开发应用程序之间潜在冲突的问题。它提供了一组新的冲突定义和分类，以更准确地描述问题的性质，并提出了一种名为“IA Graphs”的表示形式，用于正式表示物联网控制和应用程序间的相互作用。基于定义和表示，然后描述了一种有效的冲突检测算法。结合冲突类别、严重性指标和冲突频率，开发了解决各种检测到的冲突的创新解决方案策略，该策略还通过提供交互过程考虑了用户的偏好和兴趣。它实现了一个编译器和运行时软件系统，将所有提出的技术集成到一个综合解决方案中。对 SmartThings 应用程序的实验验证了其比先前方法显着更好的检测效果以及具有用户偏好的冲突解决方案的有效性。