CSpace
基于时间自动机的物联网服务建模和验证
李力行1; 金芝1; 李戈2
2011
Source Publication计算机学报
ISSN0254-4164
Volume034Issue:008Pages:1365
Abstract物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模,以表现它们的独立性和自主性.这些时间自动机形成一个网络,刻画完整的物联网服务的通信并发过程,物联网服务的实施过程表现为时间自动机网络上的状态变迁通路.最后,文中提出一组物联网服务要满足的性质,并利用模型检测工具UPPAAL验证物联网服务的正确性.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/49023
Collection中国科学院数学与系统科学研究院
Affiliation1.中国科学院数学与系统科学研究院
2.北京大学
Recommended Citation
GB/T 7714
李力行,金芝,李戈. 基于时间自动机的物联网服务建模和验证[J]. 计算机学报,2011,034(008):1365.
APA 李力行,金芝,&李戈.(2011).基于时间自动机的物联网服务建模和验证.计算机学报,034(008),1365.
MLA 李力行,et al."基于时间自动机的物联网服务建模和验证".计算机学报 034.008(2011):1365.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[李力行]'s Articles
[金芝]'s Articles
[李戈]'s Articles
Baidu academic
Similar articles in Baidu academic
[李力行]'s Articles
[金芝]'s Articles
[李戈]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[李力行]'s Articles
[金芝]'s Articles
[李戈]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.