Abstract
Web service composition enables the provision/reusing of existing services in different business processes to satisfy different business requirements without investing in new infrastructure. QoS-aware web service composition seeks to help users find the optimal solution with maximization of users’ satisfaction. A number of approaches based on Communicating Sequential Processes (CSP) have been proposed to model and verify properties of web service composition. However, little work has been done in verifying inputs, outputs and QoS criteria of web service composition.In this paper, we present a framework to model and verify QoS-aware web service composition by Timed CSP. It helps verify whether the service composition can accept inputs, generate outputs, and meet QoS requirements as specified. To do the verification, transformation rules that map QoS-aware web service composition to Timed CSP are defined. We design a case study, where the model of QoS-aware web service composition is transformed into the model of process composition in Timed CSP and the program in machine-readable CSP (CSPM). Furthermore, experiments are performed by using the Failure Divergence Refinement (FDR) tool to verify inputs, outputs, and QoS of the service composition.
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 callDisclaimer: 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.
