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

摘要：

　　近年来随着无线通讯技术的发展和移动终端设备功能的不断提高，LBS（Location Based Service）的动态服务组合成为满足移动服务个性化需求研究的热点。虽然对于LBS已有许多关于服务组合的方法，但对移动位置的动态和实时性考虑较少。<br>　　本研究运用TCPN（Timing Constraint Petri Nets）对位置服务进行动态组合建模，设计了LBS动态服务组合模型的执行时间计算方法和库所可调度性分析算法。最后，对该模型的可达性进行了验证，并引入实例说明了运用TCPN对LBS动态服务组合建模方法的可靠性和可行性。

关键词： 移动通信 电信服务 网络定位 网络架构

作者: 赵晓华 李卫民 辛明军

作者单位: 上海大学 计算机工程与技术学院,上海 200072

会议类型: 国内会议

会议名称: 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)

会议地点: 济南

会议语种:中文

页码: 1-6

在线出版日期: 2011-08-18（万方平台首次上网日期，不代表论文的发表时间）