基于时间自动机的物联网服务建模和验证; Modeling and Verifying Services of Internet of Things Based on Timed Automata | |
李力行 ; 金芝 ; 李戈 | |
刊名 | 计算机学报
![]() |
2011 | |
关键词 | 物联网服务 时间自动机 环境实体 服务建模 模型验证 |
DOI | 10.3724/SP.J.1016.2011.01365 |
英文摘要 | 物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模,以表现它们的独立性和自主性.这些时间自动机形成一个网络,刻画完整的物联网服务的通信并发过程,物联网服务的实施过程表现为时间自动机网络上的状态变迁通路.最后,文中提出一组物联网服务要满足的性质,并利用模型检测工具UPPAAL验证物联网服务的正确性.; 国家“九七三”重点基础研究发展规划项目基金; 国家自然科学基金青年科学基金; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 8; 1365-1377; 34 |
语种 | 中文 |
内容类型 | 期刊论文 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/229709] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | 李力行,金芝,李戈. 基于时间自动机的物联网服务建模和验证, Modeling and Verifying Services of Internet of Things Based on Timed Automata[J]. 计算机学报,2011. |
APA | 李力行,金芝,&李戈.(2011).基于时间自动机的物联网服务建模和验证.计算机学报. |
MLA | 李力行,et al."基于时间自动机的物联网服务建模和验证".计算机学报 (2011). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论