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

• 作者: 叶林 张亮 汤瀑 郭立鹏
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 物联网服务 混成系统 服务建模 模型验证
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 计算机软件与数据库
• 页码范围: 2663-2668
• 页数: 6页
• 分类号: TP393
• 字数: 9389字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张亮	复旦大学计算机科学技术学院	98	872	17.0	24.0
2	叶林	复旦大学计算机科学技术学院	6	23	3.0	4.0
3	郭立鹏	复旦大学计算机科学技术学院	5	23	4.0	4.0
4	汤瀑	复旦大学计算机科学技术学院	2	12	2.0	2.0