Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

10533 Customized Atomicity Specification for Transactional Workflows
Home Policy Brochure Browse Search User Area Contact Help

Derks, W.L.A. and Dehnert, J. and Grefen, P.W.P.J. and Jonker, W. (2001) Customized Atomicity Specification for Transactional Workflows. In: 3rd International Symposium on Cooperative Database Systems for Advanced Applications (CODAS), 23-24 Apr 2001, Beijing, China. pp. 140-147. IEEE Computer Society. ISBN 0769511287

Full text available as:

- Univ. of Twente only
709 Kb

Official URL:


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.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-IS: Information Systems, EWI-DB: Databases
Research Program:CTIT-ASI: A-services Internet
Research Project:CrossFlow: Cross-Organizational Workflow Support for Virtual Organizations
Additional Information:Key in EWI/DB PMS [db-utwente:inpr:0000003227]
ID Code:10533
Deposited On:22 July 2007
More Information:statistics

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item