Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP

• DOI: 10.1016/j.procs.2018.10.148
• Publication Date: 2018-11-05T12:52:18Z
• Authors: Ming Zhu; Jing Li; Guodong Fan; Kunsheng Zhao
• Keywords: 0202 electrical engineering, electronic engineering, information engineering; 02 engineering and technology

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