The Escrow transactional method
ACM Transactions on Database Systems (TODS)
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A formal approach to recovery by compensating transactions
Proceedings of the sixteenth international conference on Very large databases
A multidatabase transaction model for InterBase
Proceedings of the sixteenth international conference on Very large databases
Database transaction models for advanced applications
Database transaction models for advanced applications
Specification and execution of transactional workflows
Modern database systems
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
FlowBack: providing backward recovery for workflow management systems
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Concurrency on high-traffic data elements
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Long-Duration Transactions in Software Design Projects
Proceedings of the Sixth International Conference on Data Engineering
Automating Handover in Dynamic Workflow Environments
CAiSE '98 Proceedings of the 10th International Conference on Advanced Information Systems Engineering
Transactional Workflows or Workflow Transactions?
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
Information Sciences: an International Journal
Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
On the development of a multiple-compensation mechanism for business transactions
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
Hi-index | 0.07 |
The notion of 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. In general, it is not trivial to design compensating tasks for tasks in the context of a workflow. Actually, a task in a workflow process does not have to be compensatable in the sense that the forcibility of "reverse" operations of the task is not always guaranteed by the application semantics. In addition, the isolation requirement on data resources may make a task difficult to compensate. In this paper, we first look into the requirements that a compensating task has to satisfy. Then we introduce a new concept called confirmation. With the help of confirmation, we are able to modify most non-compensatable tasks so that they become compensatable. This can substantially increase the availability of shared resources and greatly improve backward recovery for workflow applications in case of failures. To effectively incorporate confirmation and compensation into a workflow management environment, a three level bottom-up workflow design method is introduced. The implementation issues of this design are also discussed.