Hide/Show Apps

Formalization of workflows and correctness issues in the presence of concurrency

Download
1999-04-01
Arpinar, IB
Halıcı, Uğur
ARPINAR, SENA
DOGAC, ASUMAN
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: