Formalization of Workflows and Correctness Issues in the Presence of Concurrency
An account is given on the concurrency control aspects of workflow systems. The fundamental issue of correctness criterion specific to workflow systems is defined through inter-activity constraints and basic constraints by using the semantic workflow information available at design-time. Based on th...
Saved in:
| Published in: | Distributed and parallel databases : an international journal Vol. 7; no. 2; pp. 199 - 248 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
1999
|
| ISSN: | 0926-8782, 1573-7578 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | An account is given on the concurrency control aspects of workflow systems. The fundamental issue of correctness criterion specific to workflow systems is defined through inter-activity constraints and basic constraints by using the semantic workflow information available at design-time. Based on this criterion, the Constraint Based Concurrency Control (CBCC) mechanism is defined. Another technique called the Constraint Locking Concurrency Control (CLCC) mechanism is also considered. Both techniques are easy to implement. Performance analysis reveals that the two techniques have better performance than an optimistic approach based on the constraints. |
|---|---|
| Bibliography: | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| ISSN: | 0926-8782 1573-7578 |
| DOI: | 10.1023/A:1008758612291 |