Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs
A composite web service often interacts with several partner web services hosted in different servers. These partner web services are represented as activities in a WS-BPEL program describing the composite web service. Invoking the maximal number of these activities concurrently is essential for improving its performance. But complex message coupling and control dependency between activities in a composite web service may prevent them from being arranged correctly and efficiently. In this paper, the authors propose an approach for detecting problematic activity arrangement in a WS-BPEL program based on analyzing message propagation and activity dependency in the program.