Semantics and Architecture of Global Transaction Support in Workflow Environments

Authors:
Paul Grefen;Jochem Vonk;Erik Boertjes;Peter Apers
Affiliations:
-;-;-;-
Venue:
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Year:
1999

Citing 0
Cited 4

Distributed Global Transaction Support for Workflow Management Applications

DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Global transaction support for workflow management systems: from formal specification to practical implementation

The VLDB Journal — The International Journal on Very Large Data Bases
Cross-Organizational Transaction Support for E-Services in Virtual Enterprises

Distributed and Parallel Databases
User-defined atomicity constraint: a more flexible transaction model for reliable service composition

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present an approach to global transaction management in workflow environments. The transaction mechanism is based on the well-known notion of sagas, but extended to deal with arbitrary process structures including cycles and savepoints that allow partial compensation. We present a formal specification of the transaction model and transaction management mechanisms in set and graph theory, providing clear, unambiguous transaction semantics. The specification is straight-forwardly mapped to a modular architecture, the implementation of which is applied in the prototype of a commercial workflow management system. The loosely-coupled nature of the resulting system allows easy distribution using middleware technology.