Process synchronization in Workflow Management Systems

G. Alonso, D. Agrawal, A. El Abbadi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)

Abstract

Workflow Management Systems automate the execution of business processes allowing the concurrent execution of multiple process instances. Existing systems do not provide a mechanism to guarantee correct concurrent execution and, as a result, it is not possible to coordinate and synchronize different process instances. Part of the problem is that conventional techniques are not entirely suitable for workflow environments. In databases, locks are the basic mechanism. In operating systems, this is achieved using semaphores or monitors. Neither of these approaches is appropriate for workflow applications. In this paper a method is proposed to enforce correct interleavings and guarantee mutual exclusion, as defined by the user, between concurrent workflow processes. The proposed protocol takes advantage of the semantic constructs associated with workflow management to solve some complex problems like dealing with inherited restrictions and the coarse granularity of workflow specifications.

Original languageEnglish
Title of host publicationIEEE Symposium on Parallel and Distributed Processing - Proceedings
Editors Anon
PublisherIEEE
Pages581-588
Number of pages8
Publication statusPublished - 1996
Externally publishedYes
EventProceedings of the 1996 8th IEEE Symposium on Parallel and Distributed Processing - New Orleans, LA, USA
Duration: 23 Oct 199626 Oct 1996

Other

OtherProceedings of the 1996 8th IEEE Symposium on Parallel and Distributed Processing
CityNew Orleans, LA, USA
Period23/10/9626/10/96

Fingerprint

Synchronization
Semantics
Specifications
Industry

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Alonso, G., Agrawal, D., & El Abbadi, A. (1996). Process synchronization in Workflow Management Systems. In Anon (Ed.), IEEE Symposium on Parallel and Distributed Processing - Proceedings (pp. 581-588). IEEE.

Process synchronization in Workflow Management Systems. / Alonso, G.; Agrawal, D.; El Abbadi, A.

IEEE Symposium on Parallel and Distributed Processing - Proceedings. ed. / Anon. IEEE, 1996. p. 581-588.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Alonso, G, Agrawal, D & El Abbadi, A 1996, Process synchronization in Workflow Management Systems. in Anon (ed.), IEEE Symposium on Parallel and Distributed Processing - Proceedings. IEEE, pp. 581-588, Proceedings of the 1996 8th IEEE Symposium on Parallel and Distributed Processing, New Orleans, LA, USA, 23/10/96.
Alonso G, Agrawal D, El Abbadi A. Process synchronization in Workflow Management Systems. In Anon, editor, IEEE Symposium on Parallel and Distributed Processing - Proceedings. IEEE. 1996. p. 581-588
Alonso, G. ; Agrawal, D. ; El Abbadi, A. / Process synchronization in Workflow Management Systems. IEEE Symposium on Parallel and Distributed Processing - Proceedings. editor / Anon. IEEE, 1996. pp. 581-588
@inproceedings{62a2106206664b9fb03b96f4a49fb99a,
title = "Process synchronization in Workflow Management Systems",
abstract = "Workflow Management Systems automate the execution of business processes allowing the concurrent execution of multiple process instances. Existing systems do not provide a mechanism to guarantee correct concurrent execution and, as a result, it is not possible to coordinate and synchronize different process instances. Part of the problem is that conventional techniques are not entirely suitable for workflow environments. In databases, locks are the basic mechanism. In operating systems, this is achieved using semaphores or monitors. Neither of these approaches is appropriate for workflow applications. In this paper a method is proposed to enforce correct interleavings and guarantee mutual exclusion, as defined by the user, between concurrent workflow processes. The proposed protocol takes advantage of the semantic constructs associated with workflow management to solve some complex problems like dealing with inherited restrictions and the coarse granularity of workflow specifications.",
author = "G. Alonso and D. Agrawal and {El Abbadi}, A.",
year = "1996",
language = "English",
pages = "581--588",
editor = "Anon",
booktitle = "IEEE Symposium on Parallel and Distributed Processing - Proceedings",
publisher = "IEEE",

}

TY - GEN

T1 - Process synchronization in Workflow Management Systems

AU - Alonso, G.

AU - Agrawal, D.

AU - El Abbadi, A.

PY - 1996

Y1 - 1996

N2 - Workflow Management Systems automate the execution of business processes allowing the concurrent execution of multiple process instances. Existing systems do not provide a mechanism to guarantee correct concurrent execution and, as a result, it is not possible to coordinate and synchronize different process instances. Part of the problem is that conventional techniques are not entirely suitable for workflow environments. In databases, locks are the basic mechanism. In operating systems, this is achieved using semaphores or monitors. Neither of these approaches is appropriate for workflow applications. In this paper a method is proposed to enforce correct interleavings and guarantee mutual exclusion, as defined by the user, between concurrent workflow processes. The proposed protocol takes advantage of the semantic constructs associated with workflow management to solve some complex problems like dealing with inherited restrictions and the coarse granularity of workflow specifications.

AB - Workflow Management Systems automate the execution of business processes allowing the concurrent execution of multiple process instances. Existing systems do not provide a mechanism to guarantee correct concurrent execution and, as a result, it is not possible to coordinate and synchronize different process instances. Part of the problem is that conventional techniques are not entirely suitable for workflow environments. In databases, locks are the basic mechanism. In operating systems, this is achieved using semaphores or monitors. Neither of these approaches is appropriate for workflow applications. In this paper a method is proposed to enforce correct interleavings and guarantee mutual exclusion, as defined by the user, between concurrent workflow processes. The proposed protocol takes advantage of the semantic constructs associated with workflow management to solve some complex problems like dealing with inherited restrictions and the coarse granularity of workflow specifications.

UR - http://www.scopus.com/inward/record.url?scp=0030394087&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030394087&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0030394087

SP - 581

EP - 588

BT - IEEE Symposium on Parallel and Distributed Processing - Proceedings

A2 - Anon, null

PB - IEEE

ER -