物联网服务建模_一种基于环境建模的方法_李戈.pdfVIP

中国科学: 信息科学 2013 年 第43 卷 第10 期: 1198–1218 物联网专刊· 论文 物联网服务建模 一种基于环境建模的方法 ∗ 李戈 魏强 李力行 金芝 许焱 郑丽伟 北京大学信息科学技术学院软件研究所, 北京 100871 北京大学高可信软件技术教育部重点实验室, 北京 100871 中国科学院数学与系统科学研究院, 北京 100190 中国科学院大学, 北京 100049 北京信息科技大学计算机学院, 北京 100085 * 通信作者. E-mail: zhijin@sei.pku.edu.cn 收稿日期: 2013–05–08; 接受日期: 2013–08–19 国家重点基础研究发展计划(批准号: 2011CB302704) 和国家自然科学基金 (批准号: 资助项目 摘要 物联网服务是传统Web 服务通过传感器网络向物理环境的延伸, 它通过传感器网络感知物 理环境中的实体, 也向物理环境实体施加作用. 与传统Web 服务相比, 由于物联网服务受到所依赖 的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响, 物联网服务的响应速度、服务 能耗和容错能力等特性成为影响物联网系统整体特性的重要因素. 因此, 对物联网服务进行全面建 模, 对物联网服务所处的外部环境进行形式化描述, 并结合物理环境模型对物联网服务的性质进行 分析, 对于确保物联网系统的正确性、稳定性非常必要. 本文针对物联网服务的特点, 结合基于环境 建模的需求工程思想, 提出一种基于环境的物联网服务三元问题域建模框架, 给出了物联网服务建 模本体以及相应的建模原则. 在此基础上, 提出了一种物联网服务行为建模方法, 该方法将物联网服 务和物理环境建模为概率时间自动机, 将用户期望的服务特性描述为时序逻辑公式, 为物联网服务 功能行为正确性验证和非功能性约束可满足性验证奠定了基础. 关键词 物联网 物联网服务 环境建模 服务建模本体 服务建模过程 引言 物联网 是新一代信息技术的重要组成部分 是物物相连的互联网 它将 互联网扩展到物理世界中去 通过 传感器 全球定位等信息传感 技术 按约定的协议 把物理世界中的物体与互联网相连接 进行信息交换和通信 从而实现对物体的 智能化识别、定位、跟踪、监控和管理 面向服务架构 将异构平台上的应用程序的不同功能单元封 装为具有良定义接口和规范的服务 并以松耦合的方式整合在一起 能有效的解决资源重用和异构组 件之间的互操作性问题 近年来 许多研究者开始关注于将面向服务的思想应用于物联网中 引出了 对物联网服务的研究 ∼ 其基本思想是：把物理世界中各种设备的功能服务化 称为现实世界服务 或设备服务 这些设备服务以一种统一的接口向外界提供设备的 引用格式 李戈 魏强 李力行 等 物联网服务建模 一种基于环境建模的方法 中国科学 信息科学 中国科学: 信息科学 第 43 卷 第 10 期 功能 使各种异构的设备之间 设备与传统 服务之间可以互相调用 进行信息传递 同时设备服 务还可以被动态发现与组合 从而实现物理世界与虚拟世界的无缝整合 本文将通过传感器网络和互 联网连接在一起并用于实现特定业务能力的设备服务与传统 服务一起统称为物联网服务 从服务提供的角度看 物联网服务具有不同于传统 服务的特点 首先 物联网服务大都直接 通过物理设备与现实世界发生交互 其操作环境具有自主变化的特点 其次 与物联网服务交互的物 理环境的时间性、资源受限性和可能的设备故障 对物联网服务提出了响应速度要求 以及服务部署 能耗分析、和容错等能力要求 传统的 服务的建模和分析方法 一般忽略对其操作环境的建模 不能直接将它们用于物联网服务的建模和分析 本文在分析和总结物联网服务特点的基础上 认识到与物联网服务进行交互的物理实体