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žené v:
| Vydané v: | Distributed and parallel databases : an international journal Ročník 7; číslo 2; s. 199 - 248 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
1999
|
| ISSN: | 0926-8782, 1573-7578 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| 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. |
|---|---|
| Bibliografia: | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| ISSN: | 0926-8782 1573-7578 |
| DOI: | 10.1023/A:1008758612291 |