Copy For Citation
Arpinar I., Halici U., ARPINAR S., DOGAC A.
DISTRIBUTED AND PARALLEL DATABASES, vol.7, no.2, pp.199-248, 1999 (SCI-Expanded)
-
Publication Type:
Article / Article
-
Volume:
7
Issue:
2
-
Publication Date:
1999
-
Doi Number:
10.1023/a:1008758612291
-
Journal Name:
DISTRIBUTED AND PARALLEL DATABASES
-
Journal Indexes:
Science Citation Index Expanded (SCI-EXPANDED), Scopus
-
Page Numbers:
pp.199-248
-
Keywords:
workflow management system, workflow, activity, basic constraint, inter-activity constraint, time intervals, correctness, concurrency control
-
Middle East Technical University Affiliated:
Yes
Abstract
In this paper, main components of a workflow system that are relevant to the correctness in the presence of concurrency are formalized based on set theory and graph theory. The formalization which constitutes the theoretical basis of the correctness criterion provided can be summarized as follows: