主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
边寒,陈小红,金芝,张民.一种基于环境建模的物联网系统TAP规则生成方法.软件学报,2021,32(4):6-0
一种基于环境建模的物联网系统TAP规则生成方法
Approach to Generating TAP Rules in IoT Systems Based on Environment Modeling
投稿时间:2020-09-13  修订日期:2020-10-26
DOI:10.13328/j.cnki.jos.006224
中文关键词:  物联网系统  用户服务需求  需求一致性  需求完整性  环境建模
英文关键词:Internet of Things  User Service Requirements  Requirements Consistency  Requirements Completeness  Environment Modeling
基金项目:国家自然科学基金(61620106007,61751210,61872146);国家重点研发计划重点专项项目(2018YFB2101300);上海市科技计划项目(20ZR1416000)
作者单位E-mail
边寒 上海市高可信计算重点实验室(华东师范大学), 上海 200062  
陈小红 上海市高可信计算重点实验室(华东师范大学), 上海 200062 xhchen@sei.edu.cn 
金芝 北京大学 信息科学技术学院计算机科学与技术系, 北京 100871
高可信软件技术教育部重点实验室(北京大学), 北京 100871 
zhijin@pku.edu.cn 
张民 上海市高可信计算重点实验室(华东师范大学), 上海 200062  
摘要点击次数: 246
全文下载次数: 61
中文摘要:
      用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,但很难保证物联网不同服务间的一致性和服务部署的完整性.为了支持正确的“用户编程”并保证用户服务需求的一致性与完整性,本文提出了基于环境建模的TAP规则自动生成方法,在用户提供的服务需求基础上,根据环境模型自动推导出所需的系统行为,检测系统行为的一致性和完整性,并最终自动生成TAP规则,实现从用户服务需求到物联网设备调度的自动生成.本文构建了物联网应用场景的环境本体以建模环境,并定义了基于环境本体的服务需求的描述方法.另外,论文针对方法的准确性、效率、性能以及构建环境本体的时间开销在智能家居场景上进行了评估.结果表明,本文方法准确性、效率和性能超过可用阈值,且在需求达到一定数量后,构建环境本体花费的时间可忽略不计.
英文摘要:
      User requirements are the fundamental driving force of smart services in Internet of Things (IoT). Today many IoT frameworks such as IFTTT allow end users to use simple trigger-action programing (TAP) rules for programing. But these rules describe device scheduling instructions instead of user service requirements. Some IoT systems propose goal oriented requirement approaches to support service goal decomposition. But it is difficult to ensure the consistency of different services and completeness of service deployment. In order to achieve correct "user programming" in IoT systems and ensure consistency and completeness of user requirements, this paper proposes an environment modeling based automatic approach to generate TAP rules. Based on the service requirements provided by users, required system behaviors are automatically extracted according to the enrionment model. After checking their consistency and completeness, TAP rules are generated, which realizes automatic generation from user service requirements to device scheduling instructions. The environment ontology of IoT application scenarios is constructed to model the environment, and the description method of service requirements is also defined. Finally, the accuracy, efficiency, performance of the approach and the time cost for building the environment ontology are evaluated with a smart home scenario. The results show that the accuracy, efficiency and performance of this approach exceed the available threshold, and the time cost in building the environment ontology can be ignored when the number of requirements reaches a certain number.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利