Modeling and Validation for Dynamic Services Composition of LBS Based on TCPN
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.