基于TCPN的LBS动态服务组合建模与验证

• 作者: 李卫民 赵晓华 辛明军
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 位置服务 时间约束Petri网 动态服务组合 可达性验证
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 计算机软件与数据库技术
• 页码范围: 96-99
• 页数: 4页
• 分类号: TP311
• 字数: 3754字
• 语种: 中文

摘要

针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证,同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李卫民	上海大学计算机工程与技术学院	7	11	2.0	3.0
2	辛明军	上海大学计算机工程与技术学院	22	75	5.0	7.0
3	赵晓华	上海大学计算机工程与技术学院	1	6	1.0	1.0