Applying Ordinary Differential Equations to the Performance Analysis of Service Composition

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.

[1]  Osmo Kaleva.  Fuzzy differential equations , 1987 .

[2]  Y. Chalco-Cano,et al.  Comparation between some approaches to solve fuzzy differential equations , 2009, Fuzzy Sets Syst..

[3]  Yanbo Han,et al.  Engineering and Deployment of Cooperative Information Systems , 2002, Lecture Notes in Computer Science.

[4]  Qingsheng Zhu,et al.  A Stochastic Approach to Predict Performance of Web Service Composition , 2009, 2009 Second International Symposium on Electronic Commerce and Security.

[5]  Amit P. Sheth,et al.  Performance Analysis and Simulation of Composite Web Services , 2003, Electron. Mark..

[6]  E. Hairer,et al.  Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems , 1993 .

[7]  Yi Zhou,et al.  Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[8]  William H. Press,et al.  Numerical recipes in C , 2002 .

[9]  Katerina Goseva-Popstojanova,et al.  Measurement-based performance analysis of e-commerce applications with Web services components , 2005, IEEE International Conference on e-Business Engineering (ICEBE'05).

[10]  Carroll Morgan,et al.  Theoretical Aspects of Computing - ICTAC 2009 , 2009, Lecture Notes in Computer Science.

[11]  Zuohua Ding,et al.  Static Analysis of Concurrent Programs Using Ordinary Differential Equations , 2009, ICTAC.

[12]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[13]  Uri M. Ascher,et al.  Computer methods for ordinary differential equations and differential-algebraic equations , 1998 .

[14]  Kunihiko Hiraishi,et al.  Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds , 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[15]  P. Hartman.  Ordinary Differential Equations , 1965 .

[16]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[17]  Falko Bause,et al.  Stochastic Petri Nets , 1996 .

[18]  William H. Press,et al.  Numerical Recipes in C, 2nd Edition , 1992 .

[19]  Chuang Lin,et al.  Approximate Performance Analysis of Web Services Flow Using Stochastic Petri Net , 2004, GCC.

[20]  A. Harrow,et al.  Quantum algorithm for linear systems of equations. , 2008, Physical review letters.

[21]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[22]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[23]  Dan C. Marinescu,et al.  Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models , 2002, EDCIS.

[24]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[25]  Yi Lin,et al.  Architecture for Distributed Embedded Systems Based on Workflow and Distributed Resource Management , 2002, EDCIS.

[26]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.