摘要
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.
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
基金
supported by National High Technologies Research and Development Program of China (863 Program)(No. 2008BAH24B03)
National Natural Science Foundation of China(Nos. 60673122 and 60940033)
Postdoctoral Science Foundation of China (No. 20080440121)
Natural Science Foundation of Hunan Province (Nos. 06017089 and 60940033)
Science and Technology Planning Project of Hunan Province (No. 2010GK3020)
