Automated process support for organizational and personal processes
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
An integrated agent-oriented approach to real-time operational design coordination
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Transactional patterns for reliable web services compositions
ICWE '06 Proceedings of the 6th international conference on Web engineering
DISCOBOLE: a service architecture for interconnecting workflow processes
Computers in Industry - Special issue: Collaborative environments for concurrent engineering
Tx-policy: transactional policies for reliable web service composition
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Transaction independence: The road to cooperative systems
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
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.