Abstract
Web services technology has yet to address questions such as how can I know that the Web service will meet my performance requirements such as response time? In this paper, a new method is proposed to measure the performance of service composition. Service composition described with BPEL is modeled by a family of ordinary differential equations, where each equation describes the state change of the service composition. Each service state is measured by a time-dependent function that indicates the extent to which the state can be reached in execution. This measure information can help us to conduct performance analysis such as estimating response time, throughput and efficiency. This method has the following advantages: 1) it treats the system as a ’white’ box and displays a global picture of execution state to the users, thus users know exactly where to improve the performance; 2) it can entirely avoid state explosion problem; 3) it is faster than SPN based performance analysis methods.
This work is supported by the NSF under Grant No. 90818013, No.90718014, 973 Program 2009CB320702, Shanghai TCSM No. 08510700300, and Zhejiang NSF under Grant No.Z1090357.
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
Ascher, U.M., Petzold, L.R.: Computer methods for ordinary differential equations and differential-algebraic equations. Society for Industrial & Applied Mathematis, Philadelphia, PA, USA (1998)
Bause F., Kritzinger F.: Stochastic Petri Nets-An Introduction to the Theory. Vieweg Verlag (2002)
Chandrasekaran, S., Miller, J.A., Silver, G.S., Arpinar, B., Sheth, A.P.: Performance analysis and simulation of composite web services. Electronic Markets 13(2), 120–132 (2003)
David R., Alla H.: Continuous Petri nets. In: Proceedings of the 8th European Workshop on Application and Theory of Petri nets, pp. 275–294 (1987)
Datla, V., Popstojanova, K.G.: Measurement-based performance analysis of e-commerce applications with web services components. In: Proceedings of IEEE International Conference on e-Business Engineering, pp. 305–314 (2005)
Ding, Z.: Static analysis of concurrent programs using ordinary differential equations (Invited Speech). In: Leucker, M., Morgan, C. (eds.) Theoretical Aspects of Computing - ICTAC 2009. LNCS, vol. 5684, pp. 1–35. Springer, Heidelberg (2009)
Dong, Y., Xia, Y., Zhu, Q., Huang, Y.: A Stochastic Approach to Predict Performance of Web Service Composition. In: Proceedings of The 2nd International Symposium on Electronic Commerce and Security, pp. 460–464 (2009)
Hairer, E., Nørsett, S.P., Wanner, G.: Solving Ordinary Differential Equations(I)(II). In: Nonstiff Problems, 2nd edn. Springer, Heidelberg (1993)
Harrow, A., Hassidim, A., Lloyd, S.: Quantum algorithm for solving linear systems of equations. Phys. Rev. Lett. 103(15), 150502 (2009)
Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)
Hiraishi, K.: Performance evaluation of workflows using continuous Petri nets with interval firing speeds. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 231–250. Springer, Heidelberg (2008)
Lin, C., Qu, Y., Ren, F., Marinescu, D.C.: Performance equivalent analysis of workflow systems based on stochastic Petri net models. In: Han, Y., Tai, S., Wikarski, D. (eds.) EDCIS 2002. LNCS, vol. 2480, pp. 1–64. Springer, Heidelberg (2002)
Molloy, M.K.: On the integration of delay and throughput measures in distributed processing models. Ph.D. dissertation, University of California, Los Angeles (1981)
Milanovic, N., Malek, M.: Current solutions for web service composition. IEEE Internet Computing 8, 51–59 (2004)
Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Transactions on Computers C-31(9), 913–917 (1982)
Tan, Z., Lin, C., Yin, H., Hong, Y., Zhu, G.: Approximate performance analysis of web services flow using stochastic Petri net. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3251, pp. 193–200. Springer, Heidelberg (2004)
Teukolsky, S.A., Press, W.H., Vetterling, W.T.: Numerical Recipes in C++, 2nd edn. Cambridge Univ. Press, Cambridge (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ding, Z., Shen, H., Liu, J. (2010). Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. In: Dong, J.S., Zhu, H. (eds) Formal Methods and Software Engineering. ICFEM 2010. Lecture Notes in Computer Science, vol 6447. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16901-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-16901-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16900-7
Online ISBN: 978-3-642-16901-4
eBook Packages: Computer ScienceComputer Science (R0)