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