A Probabilistic Timing Constraint Modeling and Functional Validation Approach to Dynamic Service Composition for LBS

Location Based Services (LBS) is a kind of real-time service with uncertain factors, and its modeling and validation is essential. In this paper, with the introduction of probability, we propose a Color Probability-TCPN (CP-TCPN) by using the tokens with specific colors as the research objects and redefining several relative parameters. We use CP-TCPN to realize modeling and functional verification of the dynamic services composition for LBS. Simulation result is presented to illustrate the application of CP-TCPN in the modeling and analyzing of the real-time system with uncertain factors.

[1]  Jeffrey J. P. Tsai,et al.  Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications , 1995, IEEE Trans. Software Eng..

[2]  Janette Cardoso,et al.  Possibilistic Petri nets , 1999, IEEE Trans. Syst. Man Cybern. Part B.

[3]  Hao Jiang,et al.  Analysis of Workflow Schedulability Based on Time Constraint Petri Nets , 2006, 2006 10th International Conference on Computer Supported Cooperative Work in Design.

[4]  Qun Jin.  Optimum order time for a spare part inventory system modeled by a non-regenerative stochastic petri net , 2000 .

[5]  Lin Wang,et al.  Modeling and Analyzing Project Performance with Timing Constraint Petri Net , 2009, 2009 International Conference on Computer Engineering and Technology.

[6]  Jeffrey J. P. Tsai,et al.  Verifying timing properties for distributed real-time systems using timing constraint Petri nets , 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.

[7]  Y.-H. Chang,et al.  Schedulability analysis of real-time systems using timing constraint Petri nets , 1993, 1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production.

[8]  Jiang Hao,et al.  The TCPN-based Verification of Temporal Consistency in Web Service Process , 2006, 2006 IEEE International Conference on e-Business Engineering (ICEBE'06).