@inproceedings{8b15c75eb5364b69a53fe1234ec7f886,
title = "Applying ordinary differential equations to the performance analysis of service composition",
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.",
keywords = "BPEL, Petri net, Service composition, ordinary differential equation, performance analysis",
author = "Zuohua Ding and Hui Shen and Jing Liu",
year = "2010",
doi = "10.1007/978-3-642-16901-4\_12",
language = "英语",
isbn = "3642169007",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "155--170",
booktitle = "Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Proceedings",
note = "12th International Conference on Formal Engineering Methods, ICFEM 2010 ; Conference date: 17-11-2010 Through 19-11-2010",
}