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

With the development of mobile communication and other related technology, LBS (Location Based Service) is becoming an indispensable part of people´s daily life. Studying on services composition modeling in LBS is necessary, but current services composition modeling does not take into account the location uncertainty, real-time service and other factor related to location context. In this paper, we present a TCPN (Timing Constraint Petri Nets) based approach to model the dynamic LBS composition and argue some functional validations of them, including the discussion of schedulability and reachability of the model and the transition. Finally, we used the CPN Tools to simulate the model, so the whole generation process of LBS services composition will be shown much more intuitive and a better understanding of the model achieved by controlling the firing sequence of transition in the model.