Abstract:The notion of a compensation is widely used in advanced transaction models as means of recovery from a failure. Similar concepts are adopted for providing “transaction-like” behaviour for long business processes supported by workflows technology. Generally, designing a compensating task in the context of a workflow process is a non-trivial job. In fact, not every task is compensatable. This work contributes to the study of the non-compensatability problem. A compensating task C of a task T semantically undoes the effect of T after T has been committed. For example, the compensating task of a deposit is a withdrawal. For a task to be compensatable, it must satisfy two conditions. Forcibility: The compensating task of the task must be forcible. In other words, after the task commits, the execution of its compensating task is guaranteed to succeed by the application semantics. Relaxation of isolation: The isolation requirement of the shared data resources which the task may access must be relaxed. This relaxation is required as the purpose of introducing compensation is to avoid long-duration waiting, otherwise, compensation may become useless. In this work, we carefully investigate the properties of shared resources and tasks which may be performed on these resources. As all its invoked operations must be compensatable as well if a task is compensatable, we only discuss the compensatability of operations defined on shared resources

AN IMPROVED TRANSACTIONAL WORKFLOW MODEL BASED ON Sagas

A Model Based on Backward Recovery for Fine-Grained Workflow Transaction

The syntactical analysis of workflow model with loop structure

Confirmation: Increasing Resource Availability for Transactional Workflows.

Confirmation: a solution for non-compensatability in workflow applications

A Model That Coordinates Short-Lived and Long-Lived Transactions for Web Services.

A Transaction Model for Web Services:Architecture,Algorithms and Transaction Compensation

Transaction model for Web services: Architecture, algorithms and transaction compensation

Research of Workflow Modeling Based on Concurrent Transaction Logic

Research and Realization of Concurrent EAI Engine Construction Supporting Selforganized Long Transaction Model

Towards an Integrated Conceptual Modelling Kernel for Business Transaction Workflows

CovaTM

An Improved Cooperative Model for Web Service Based Workflow Management

Transactional Properties of Complex Web Services

TDWF: A Workflow Model Based on Cooperation of Web Services

A Flexible Workflow Meta-model Supporting Dynamic Modification

Improving Backward Recovery in Workflow Systems

Dynamic restructuring of transactional workflow activities: a practical implementation method

Semantic Validation of Workflow Based Condition-restricted and its Applications

Correctness Verification of Synchronization Based Workflow Model

Virtual Transaction Model to Support Workflow Applications.