Date Added: Nov 2011
The authors propose an approach for efficient, fault tolerant, and correct distributed execution of Transactional Composite Web Services (TCWSS), based on Colored Petri-Net (CPN) formalism. They extend a previous COMPOSER in order it generates, besides a TCWS represented by a CPN, another CPN representing the compensation order for backward recovery. They present an EXECUTER, which ensures correct execution flow and backward recovery by following unfolding processes of the CPNs. They present the formalization and algorithms of the TCWS execution and compensation processes.