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

  • Weimin LiEmail author
  • Xiaohua Zhao
  • Jiulei Jiang
  • Xiaokang Zhou
  • Qun Jin
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 274)


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.


CP-TCPN Probability Colors Service composition Modeling Functional validation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cardoso, J., Valette, R., et al.: Possibilistic Petri Nets. IEEE Transaction on Systems, Man, and Cybernetics-Part B 29(5), 573–581 (1999)CrossRefGoogle Scholar
  2. 2.
    Jin, Q., Vidale, R.F., Sugasawa, Y.: Optimum Order Time for a Spare Part Inventory System Modeled by a Non-Regenerative Stochastic Petri Net. IEICE Trans. Fundamentals E83-A(5), 818–827 (2000)Google Scholar
  3. 3.
    Tsai, J.J.P., Yang, S.J.: Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. IEEE Transaction on Software Engineering 21(1), 32–49 (1995)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Feng, L., Jiang, H.: Analysis of Workflow Schedulability Based on Time Constraint Petri Nets. In: Proc. 10th International Conference on Computer Supported Cooperative Work in Design, pp. 1–5 (2006)Google Scholar
  5. 5.
    Yu, R., Huang, Z., et al.: Modeling and Analyzing Project Performance with Timing Constraint Petri Net. In: Proc. ICCET 2009, vol. 2, pp. 243–246 (2009)Google Scholar
  6. 6.
    Tsai, J.J.-P., Yang, S.J.H., Chang, Y.-H.: Schedulability analysis of real-time systems using timing constraint Petri nets. In: Proc. CDMP 1993, pp. 375–382 (1993)Google Scholar
  7. 7.
    Hao, J., Sun, Z.-J.: The TCPN-Based Verification of Temporal Consistency in Web Service Process. In: Proc. ICEBE 2006 (IEEE International Conference on e-Business Engineering), pp. 302–306 (2006)Google Scholar
  8. 8.
    Tsai, J.J.-P., Yang, S.J., Chang, Y.-H., Juan, E.Y.T.: Verifying timing properties for distributed real-time systems using timing constraint Petri nets. In: Proc. COMPSAC 1996, pp. 36–40 (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Weimin Li
    • 1
    Email author
  • Xiaohua Zhao
    • 1
  • Jiulei Jiang
    • 2
  • Xiaokang Zhou
    • 3
  • Qun Jin
    • 4
    • 3
  1. 1.School of Computer Engineering and TechnologyShanghai UniversityShanghaiChina
  2. 2.School of ComputerBeifang University of NationalitiesYinchuanChina
  3. 3.Graduate School of Human SciencesWaseda UniversityTokorozawaJapan
  4. 4.College of Information EngineeringChina Jiliang UniversityHanzhouChina

Personalised recommendations