|
|||||
|
|
| 基于时间自动机的物联网服务建模和验证 | |
| 引用本文： | 李力行,金芝,李戈.基于时间自动机的物联网服务建模和验证[J].计算机学报,2011,34(8):1365-1377. |
| 作者姓名： | 李力行 金芝 李戈 |
| 作者单位： | 1. 中国科学院数学与系统科学研究院 北京 100190;中国科学院研究生院 北京 100049 2. 中国科学院数学与系统科学研究院 北京 100190;高可信软件技术教育部重点实验室(北京大学)北京 100871 3. 高可信软件技术教育部重点实验室(北京大学)北京 100871 |
| 基金项目： | 国家“九七三”重点基础研究发展规划项目基金(2011CB302704); 国家自然科学基金青年科学基金项目(60803010)资助~~ |
| 摘 要： | 物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模... |
| 关 键 词： | 物联网服务 时间自动机 环境实体 服务建模 模型验证 |
Modeling and Verifying Services of Internet of Things Based on Timed Automata |
|
| LI Li-Xing,JIN Zhi,LI Ge.Modeling and Verifying Services of Internet of Things Based on Timed Automata[J].Chinese Journal of Computers,2011,34(8):1365-1377. | |
| Authors: | LI Li-Xing JIN Zhi LI Ge |
| Affiliation: | LI Li-Xing~(1),2)) JIN Zhi~(1),3)) LI Ge~(3)) 1)(Academy of Mathematics and System Science,Chinese Academy of Sciences,Beijing 100190) 2)(Graduate University of Chinese Academy of Sciences,Beijing 100049) 3)(Key Laboratory of High Confidence So ftware Technologies(Peking University),Ministry of Education,Beijing 100871) |
| Abstract: | The modeling and verifying of Internet of Things(IOT) services is now an important aspect of IOT software design.First,we introduce the concept of environment entities that are used to describe both the attributes and behaviors of things in the physical world.Then the behaviors of an IOT service are specified by its interaction with the corresponding environment entities, these interactions lead to the expected changes on the entities,and show the effectiveness of the IOT services.Based on timed automata,an... |
| Keywords: | Internet of Things services timed automata environment entity service modeling model checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |