| 基于环境建模的物联网系统TAP规则生成方法 |
| |
| 引用本文： | 边寒,陈小红,金芝,张民.基于环境建模的物联网系统TAP规则生成方法[J].软件学报,2021,32(4):934-952. |
| |
| 作者姓名： | 边寒 陈小红 金芝 张民 |
| |
| 作者单位： | 上海市高可信计算重点实验室(华东师范大学), 上海 200062;北京大学 信息科学技术学院计算机科学与技术系, 北京 100871;高可信软件技术教育部重点实验室(北京大学), 北京 100871 |
| |
| 基金项目： | 国家自然科学基金（61620106007,61751210,61872146）;国家重点研发计划重点专项项目（2018YFB2101300）;上海市科技计划项目（20ZR1416000） |
| |
| 摘 要： | 用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程（TAP）规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,但很难保证物联网不同服务间的一致性和服务部署的完整性.为了支持正确的“用户编程”并保证用户服务需求的一致性与完整性,本文提出了基于环境建模的TAP规则自动生成方法,在用户提供的服务需求基础上,根据环境模型自动推导出所需的系统行为,检测系统行为的一致性和完整性,并最终自动生成TAP规则,实现从用户服务需求到物联网设备调度的自动生成.本文构建了物联网应用场景的环境本体以建模环境,并定义了基于环境本体的服务需求的描述方法.另外,论文针对方法的准确性、效率、性能以及构建环境本体的时间开销在智能家居场景上进行了评估.结果表明,本文方法准确性、效率和性能超过可用阈值,且在需求达到一定数量后,构建环境本体花费的时间可忽略不计.
|
| 关 键 词： | 物联网系统 用户服务需求 需求一致性 需求完整性 环境建模 |
| 收稿时间： | 2020/9/13 0:00:00 |
| 修稿时间： | 2020/10/26 0:00:00 |
Approach to Generating TAP Rules in IoT Systems Based on Environment Modeling |
| |
| BIAN Han,CHEN Xiao-Hong,JIN Zhi,ZHANG Min.Approach to Generating TAP Rules in IoT Systems Based on Environment Modeling[J].Journal of Software,2021,32(4):934-952. |
| |
| Authors: | BIAN Han CHEN Xiao-Hong JIN Zhi ZHANG Min |
| |
| Affiliation: | Shanghai Key Laboratory of Trustworthy Computing (East China Normal University), Shanghai 200062, China;Department of Computer Science and Technology, School of EECS, Peking University, Beijing 100871, China;Key Lab of High Confidence Software Technologies Ministry of Education (Peking University), Beijing 100871, China |
| |
| Abstract: | |
| |
| Keywords: | Internet of Things User Service Requirements Requirements Consistency Requirements Completeness Environment Modeling |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
