基于混成系统的物联网服务建模与验证.pdfVIP

基于混成系统的物联网服务建模与验证 叶林 汤瀑 张亮 (复旦大学 计算机科学技术学院, 上海 200433) 摘 要 物联网是物理世界和信息世界的无缝融合，它将信息世界的快速发展能力带到了物理世界，促使信息与实体服务 方式发生深刻的变革。物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统。鉴于这一 需求的复杂性，现有的物联网分析模型大都割裂了物理世界与信息世界，因此不能准确反映物联网服务区别于Web 服务的 重要特征。解决这一问题，是促进物联网服务能够真正向智能、可靠发展的先决条件。本文利用混成系统对信息系统的离散 指令与物理设备连续行为刻画能力，提出一种基于混成系统理论的物联网服务建模与验证框架，其中原子服务由物理设备与 相应的控制系统共同组成的混成系统构成，组合服务再由分布式混成系统组织各原子服务构成。这一物联网服务建模与验证 框架有效地统一了物理设备、控制系统与组合服务系统，从而具备了对物联网服务的深度建模与全面验证能力｡ 关键词 物联网服务；混成系统；服务建模；模型验证 中图法分类号 TP393 DOI