Formalization of workflows and correctness issues in the presence of concurrency

Arpinar I., Halici U., ARPINAR S., DOGAC A.

DISTRIBUTED AND PARALLEL DATABASES, cilt.7, sa.2, ss.199-248, 1999 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 7 Sayı: 2
  • Basım Tarihi: 1999
  • Doi Numarası: 10.1023/a:1008758612291
  • Dergi Adı: DISTRIBUTED AND PARALLEL DATABASES
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.199-248
  • Anahtar Kelimeler: workflow management system, workflow, activity, basic constraint, inter-activity constraint, time intervals, correctness, concurrency control
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

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: