Abstract
Web Service Choreography Description Language (WS-CDL) is a mainstream standard for the description of peer-to-peer collaborations for the participants of service composition. To predict the dependability of composite service processes specified in WS-CDL allows service designers and user to decided whether the process meets the nonfunction requirements of trustworthiness, and to choose the process with better dependability to those with identical function. Unfortunately, very limited research attention is paid to dependability of WS-CDL. In this paper, we propose a model-driven approach for dependability prediction of composite service built on WS-CDL. The main innovation of this research includes a complete translation from WS-CDL to generalized stochastic Petri nets (GSPN) and a dependability (using process-normal-completion-probability as the metric of dependability of service composition) calculation algorithm based on GSPN. We also validate the accuracy of the approach in the experimental study by showing 95% confidence intervals obtained from experimental dependability results that cover the corresponding theoretical prediction values. Copyright © 2011 John Wiley & Sons, Ltd.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Concurrency and Computation: Practice and Experience
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
