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