Advertisement

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)

Abstract

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.

Keywords

CP-TCPN Probability Colors Service composition Modeling Functional validation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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