SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Modeling long-running activities as nested sagas
Data Engineering
Flexible specification of workflow compensation scopes
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Advanced Transaction Models in Workflow Contexts
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Business Process Coordination: State of the Art, Trends, and Open Issues
Proceedings of the 27th International Conference on Very Large Data Bases
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Composition of coordinated web services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
YAWL: yet another workflow language
Information Systems
Exception handling in the BPEL4WS language
BPM'03 Proceedings of the 2003 international conference on Business process management
Coordinate BPEL scopes and processes by extending the WS-business activity framework
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
From BPEL processes to YAWL workflows
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Coordination for fragmented loops and scopes in a distributed business process
BPM'10 Proceedings of the 8th international conference on Business process management
Achieving recovery in service composition with assurance points and integration rules
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Fault handling and recovery in decentralized services orchestration
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Coordination for fragmented loops and scopes in a distributed business process
Information Systems
Hi-index | 0.00 |
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions are defined on nested 'scopes' that group activities, this requires a model of nested compensation---based transactions. The model must enable the automatic determination of compensation order by considering not only the nesting of scopes but also the control dependencies between them. The current standard for Web services workflows, Business Process Execution Language for Web Services (WS-BPEL), has such compensation capabilities. In this paper, we show that the current mechanism in WS-BPEL shows compensation processing anomalies, such as neglecting control link dependencies between nested non-isolated scopes. We then propose an alternate approach that through elimination of default handlers as well as the complete elimination of termination handlers not only removes those anomalies but also relaxes current WS-BPEL restrictions on control links. The result is a new and deterministic model for handling default compensation for scopes in structures where: (1)both fault handling and compensation handling are present and (2)the relationships between scopes include both structured nesting and graph---based links.