物联网服务建模:一种基于环境建模的方法

CORC > 北京大学 > 信息科学技术学院

	物联网服务建模:一种基于环境建模的方法
	李戈 ; 魏强 ; 李力行 ; 金芝 ; 许焱 ; 郑丽伟
刊名	中国科学. 信息科学
	2013
关键词	物联网物联网服务环境建模服务建模本体服务建模过程
英文摘要	物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.; 国家重点基础研究发展计划,国家自然科学基金; 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 10; 1198-1218; 43
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/417218]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	李戈,魏强,李力行,等. 物联网服务建模:一种基于环境建模的方法[J]. 中国科学. 信息科学,2013.
APA	李戈,魏强,李力行,金芝,许焱,&郑丽伟.(2013).物联网服务建模:一种基于环境建模的方法.中国科学. 信息科学.
MLA	李戈,et al."物联网服务建模:一种基于环境建模的方法".中国科学. 信息科学 (2013).