Transactional Dependency for Failure Recovery in Web Services Composition System  

作　　者：MEI Xiaoyong LI Shixian HUANG Changqin ZHENG Xiaolin 

机构地区：[1]School of Information Science and Technology, Sun Yat-sen University, Guangzhou 510275, China [2]School of Computer Science and Technology, Hunan University of Arts and Science, Changde 415000, China [3]Department of Electrical Engineering and Computer Sience, University of California, Irvine, CA 92697, USA [4]College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China

出　　处：《Chinese Journal of Electronics》2012年第2期241-248,共8页电子学报（英文版）

基　　金：Manuscript Received Nov. 2010; Accepted Feb. 2011. This work is supported by the National Key Technologies R＆D Program of China （No.2008BAH24B03）, the National Natural Science Foundation of China （No.60673122, No.60940033）, the Postdoctoral Sci- ence Foundation of China （No.20080440121）, the Natural Science Foundation of Province （No.06017089, No.60940033）, the Science and Technology Planning Project of Hunan Province （No.2010GK3020）.

摘　　要：With the advanced Internet technology, business applications across multiple enterprises based on Composition web services （CWS） paradigm are widely used. Since business processes among enterprises become complex, loosely coupled, long running and unpredictable, tasks collaborate in a peer-to-peer fashion without central control, in which task dependency is inevitable. And when a system crash occurs, some tasks of the transaction flow may be committed while others unscheduled~ in this situa- tion, it is important to accurately specify the dependency between tasks in Transactional composition service （TCS）, contemporary technologies usually statically specify de- pendency point and avoid implicit interaction in parallel aggregation. In this paper, we propose a task dependency analysis method based on transaction execution logs. We present the formal description of atomic Web service （WS） and discuss properties of the atomic WS such as pivot, compensability, retriability and vitalness, then analyze ex- ecution logs of transactions, specify data flow dependency and behavior dependency between tasks in TCS, behavior dependency and properties of aggregation patterns. The TCS based application of Trip reservation process （TRP） shows that it is feasible to ensure consistent execution of reliable TCS.

关 键 词：Composition transaction~ ExtendedPetri-net Task dependency Execution log Relaxed-ACID（Atomicity~ Consistency Isolation Durability）. 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP273[自动化与计算机技术—计算机科学与技术]