基于时间自动机的物联网服务建模和验证

• 作者: 周骏华 陈友荣
• 来源期刊: 网络安全技术与应用
• 学科: 教育
• 关键词: 时间自动机 物联网 服务模型 服务验证
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 理论·广角
• 页码范围: 91,93
• 页数: 2页
• 分类号: G647
• 字数: 1831字
• 语种: 中文

摘要

近年来,在信息技术和互联网技术的支持下,物联网的应用愈加广泛,无论是电子商务还是通讯行业,其均能够为人们提供方便快捷的服务以满足其生产、生活的各类要求.为了进一步了解物联网服务的原理,本文通过引入时间自动机的概念,利用其对物联网的原子服务和组合服务进行建模,并对模型的验证方法做出全面分析,以期为提高物联网服务质量和效率提供有价值的参考意见.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈友荣		62	282	9.0	14.0
2	周骏华		3	8	2.0	2.0