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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cardoso, J., Valette, R., et al.: Possibilistic Petri Nets. IEEE Transaction on Systems, Man, and Cybernetics-Part B 29(5), 573–581 (1999)
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)
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)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, W., Zhao, X., Jiang, J., Zhou, X., Jin, Q. (2014). A Probabilistic Timing Constraint Modeling and Functional Validation Approach to Dynamic Service Composition for LBS. In: Park, J., Adeli, H., Park, N., Woungang, I. (eds) Mobile, Ubiquitous, and Intelligent Computing. Lecture Notes in Electrical Engineering, vol 274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40675-1_75
Download citation
DOI: https://doi.org/10.1007/978-3-642-40675-1_75
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40674-4
Online ISBN: 978-3-642-40675-1
eBook Packages: EngineeringEngineering (R0)