With regard to the failure and cancellation of business logic of web services composition(WSC),this paper propose a novel web services transaction compensation mechanism based on paired net which can dynamically establish agile compensation-triggered process(CSCP-Nets),and satisfy prospective compensation requirements.The related execution semantics of five usual composition compensation patterns based on paired net are analyzed in the situations of successful execution,failure compensation and failure recovery.Paired net based application of trip reservation process(TRP) shows that it is feasible.
Xiao-Yong Mei 1,2 Yi-Yan Fan 2 Chang-Qin Huang 3 Ai-Jun Jiang 1 Shi-Xian Li 1 1 School of Information Science and Technology,Sun Yat-sen University,Guangzhou 510006,China 2 School of Computer Science and Technology,Hunan University of Arts and Science,Changde 415000,China 3 Department of Electrical Engineering and Computer Science,University of California,Irvine,CA,92697,USA
