Failure Recovery Dependency Analysis for Web Composition Transactions Based on Extended Petri-Nets

Abstract

For transactional Composition Web Services (CWS), traditional transaction theory in the database is introduced into the Long Running Transactions (LRTs) domain. In practical application, the typical LRTs employ forward or backward rollback. In order to improve the expansibility of LRTs, it is important to accurately specify the dependency between tasks in composition transaction; contemporary technologies usually statically specify dependency point and avoid implicit interaction in LRTs. In this paper, we propose a task dependency modeling method for LRTs, firstly we present formal description of atomic Web Services (WS) and discuss atomic WS such as pivot, compensable, retriable and vital, then execution logs of LRTs data dependency and action dependency rules between tasks in LRTs are analyzed, specify, finally application of TRP shows that it is feasible to ensure consistent execution of reliable LRTs based dependencies.