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...
Uloženo v:
| Vydáno v: | Distributed and parallel databases : an international journal Ročník 7; číslo 2; s. 199 - 248 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
1999
|
| ISSN: | 0926-8782, 1573-7578 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | 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. |
|---|---|
| Bibliografie: | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| ISSN: | 0926-8782 1573-7578 |
| DOI: | 10.1023/A:1008758612291 |