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

Modeling and Validation for Dynamic Services Composition of LBS Based on TCPN

作　　者：赵晓华[1] 李卫民[1] 辛明军[1] 

机构地区：[1]上海大学计算机工程与技术学院,上海200072

出　　处：《小型微型计算机系统》2013年第1期96-99,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(61074135;71061001)资助;上海市重点学科建设项目(J50103)资助

摘　　要：针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证,同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性.Aim to solve the problem that so less considerations of the dynamic and real-time factors in LBS′s services composition,in this paper we use TCPN（Timing Constraint Petri Nets） to model the LBS′s services composition,at the same time we also design an pacer′s schedulability analysis algorithm and a way of calculating the execution time of LBS′s dynamic services composition model,the reachability of the model is also verified,At last,a simple example is introduced to illustrate the reliability and practicability of this method.

关 键 词：位置服务 时间约束PETRI网 动态服务组合 可达性验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]