Construction Method of Exception Control Flow Graph for Business Process Execution Language Process

Caoqing Jiang,Shi Ying,Shanming Hu,Hua Guan
DOI: https://doi.org/10.1007/978-3-319-01766-2_40
2014-01-01
Abstract:Traditional control flow graph of exception handling lacks an explicit description of exception handling and propagation and cannot be used to well analyze the exception situations and exception handling error. To solve these problems, this chapter presents a construction method of exception control flow graph (ECFG) for BPEL process. This method uses a label that is marked exception and is of power for collection computing to describe exception information of BPEL process in building the ECFG. Moreover, the experiment shows that the ECFG generated can clearly express exception information and propagation process in BPEL process.
What problem does this paper attempt to address?