An Analysis Tool for Execution of BPEL Services

BPEL is used for specifying Web services. In spite of numerous recent efforts in both statically analyzing service specifications and support for service execution, there is still an urgent need for quality assurance for BPEL services in two aspects: (1) lack of tools, techniques to aid under-standing BPEL service specifications and execution in order to make informed decisions about the correctness of its observed functionality, (2) maneuverability in exploring a service execution to identify the source of an erroneous service. In this paper, we develop an Execution Analysis tool for BPEL (EA4B) to address both aspects. EA4B defines an execution log for BPEL. EA4B can read the execution log for post-execution debugging or for near real-time monitoring. EA4B provides an interactive GUI and can walk-through its execution. In addition, EA4B can be integrated with static analysis tools such as WSAT: Error traces generated by WSAT are translated to log files and visually displayed. EA4B provides an execution analysis tool to ease the understanding of a BPEL service and aid in development and debugging tasks.