Customized Atomicity Specification for Transactional Workflows

Authors:
Wijnand Derks;Willem Jonker;Juliane Dehnert;Paul Grefen
Affiliations:
-;-;-;-
Venue:
CODAS '01 Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications
Year:
2001

Citing 0
Cited 8

Relaxed Soundness of Business Processes

CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Transactional Workflows or Workflow Transactions?

DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Cross-Organizational Transaction Support for E-Services in Virtual Enterprises

Distributed and Parallel Databases
A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Atomicity and provenance support for pipelined scientific workflows

Future Generation Computer Systems
Spheres of isolation: adaptation of isolation levels to transactional workflow

BPM'05 Proceedings of the 3rd international conference on Business Process Management
Concurrency management in transactional web services coordination

DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a new approach for specifying transaction management requirements for workflow applications. We propose independent models for the specification of workflow and transaction properties. Although we distinguish multiple transaction properties in our approach, we focus on atomicity in this paper. We propose an intuitive notation to specify atomicity and provide generic rules to integrate the workflow specification and the atomicity specification into one single model based on Petri Nets. The integrated model can be checked for correctness. We call this correctness criterion relaxed soundness as a weaker notion of the existing soundness criterion. We can relax the correctness criterion because we rely on run-time transaction management. A real life example shows the applicability of the concepts.