标题：Minimum cost composition algorithm for Web service based on CSP
作者：Bo, Yan ;Wu, Xiaoping ;Ye, Qing
作者机构：[Bo, Yan ;Wu, Xiaoping ;Ye, Qing ] Department of Information Security, Naval University of Engineering, Wuhan, China
会议名称：2011 International Conference on Internet Technology and Applications, iTAP 2011
会议日期：August 16, 2011 - August 18, 2011
来源：2011 International Conference on Internet Technology and Applications, iTAP 2011 - Proceedings
摘要：Traditional formal method has been solved the problems of functional modeling and verification of Web service composition, but it could not effectively analyze and calculate the costs of the service composition. A minimum cost composition algorithm based on process algebra CSP is proposed. The algorithm first translates the XML format Web service composition description to CSP format formal description. According to the trace model of the CSP, the executive paths for the proper composition schemes can be found. Finally, the total cost of the composition schemes can be solved out according to the cost of the single event in the web services' interfaces. A case study is presented that shows the algorithm can effectively calculate the total costs of the composition schemes, and the optimal scheme can be pick out refer to the results. © 2011 IEEE.