Customized atomicity specification for transactional workflows

W. Derks; J. Dehnert; P. Grefen; W. Jonker

doi:10.1109/CODAS.2001.945160

Customized atomicity specification for transactional workflows

W. Derks
, J. Dehnert
, P. Grefen
, W. Jonker

Databases (Former)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

33 Citations (Scopus)

4 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications. CODAS 2001
Place of Publication	Piscataway, NJ
Publisher	IEEE
Pages	140-147
Number of pages	8
ISBN (Print)	0-7695-1128-7
DOIs	https://doi.org/10.1109/CODAS.2001.945160
Publication status	Published - Apr 2001
Event	3rd International Symposium on Cooperative Database Systems for Advanced Applications, CODAS 2001 - Beijing, China Duration: 23 Apr 2001 → 24 Apr 2001 Conference number: 3

Conference

Conference	3rd International Symposium on Cooperative Database Systems for Advanced Applications, CODAS 2001
Abbreviated title	CODAS
Country/Territory	China
City	Beijing
Period	23/04/01 → 24/04/01

Keywords

n/a OA procedure
SCS-Services
DB-WFM: WORKFLOW MANAGEMENT

Access to Document

10.1109/CODAS.2001.945160

1 Oral presentation

Customized Atomicity Specification for Transactional Workflows
Derks, W. L. A. (Speaker), Dehnert, J. (Speaker), Grefen, P. W. P. J. (Speaker) & Jonker, W. (Speaker)
2001
Activity: Talk or presentation › Oral presentation

33 Citations
1 Report

Customized atomicity specification for transactional workflows
Derks, W., Dehnert, J., Grefen, P. & Jonker, W., Dec 2000, Enschede: Centre for Telematics and Information Technology (CTIT). 40 p. (CTIT technical report series; no. TR-CTIT-00-24)
Research output: Book/Report › Report › Professional

Open Access
File

Cite this

@inproceedings{cd8df16d0e9a4399af207ce18ac6d42e,

title = "Customized atomicity specification for transactional workflows",

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.",

keywords = "n/a OA procedure, SCS-Services, DB-WFM: WORKFLOW MANAGEMENT",

author = "W. Derks and J. Dehnert and P. Grefen and W. Jonker",

year = "2001",

month = apr,

doi = "10.1109/CODAS.2001.945160",

language = "English",

isbn = "0-7695-1128-7",

pages = "140--147",

booktitle = "Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications. CODAS 2001",

publisher = "IEEE",

address = "United States",

note = "3rd International Symposium on Cooperative Database Systems for Advanced Applications, CODAS 2001, CODAS ; Conference date: 23-04-2001 Through 24-04-2001",

}

Derks, W, Dehnert, J, Grefen, P & Jonker, W 2001, Customized atomicity specification for transactional workflows. in Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications. CODAS 2001. IEEE, Piscataway, NJ, pp. 140-147, 3rd International Symposium on Cooperative Database Systems for Advanced Applications, CODAS 2001, Beijing, China, 23/04/01. https://doi.org/10.1109/CODAS.2001.945160

Customized atomicity specification for transactional workflows. / Derks, W.; Dehnert, J.; Grefen, P. et al.
Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications. CODAS 2001. Piscataway, NJ: IEEE, 2001. p. 140-147.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Customized atomicity specification for transactional workflows

AU - Derks, W.

AU - Dehnert, J.

AU - Grefen, P.

AU - Jonker, W.

N1 - Conference code: 3

PY - 2001/4

Y1 - 2001/4

N2 - 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.

AB - 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.

KW - n/a OA procedure

KW - SCS-Services

KW - DB-WFM: WORKFLOW MANAGEMENT

U2 - 10.1109/CODAS.2001.945160

DO - 10.1109/CODAS.2001.945160

M3 - Conference contribution

SN - 0-7695-1128-7

SP - 140

EP - 147

BT - Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications. CODAS 2001

PB - IEEE

CY - Piscataway, NJ

T2 - 3rd International Symposium on Cooperative Database Systems for Advanced Applications, CODAS 2001

Y2 - 23 April 2001 through 24 April 2001

ER -

Customized atomicity specification for transactional workflows

Abstract

Conference

Keywords

Access to Document

Fingerprint

Activities

Customized Atomicity Specification for Transactional Workflows

Research output

Customized atomicity specification for transactional workflows

Cite this