|
|
|
 |
|
 |
|
Modeling Extensions for Concurrent Workflow Coordination
|
A. Barros and
A. ter Hofstede
View Paper (PDF)
Return to Workflow Transactions
Business processes exhibit concurrent execution, where different and sometimes inter-dependent parts, are isolated and run in parallel. In current workflow tools, this requirement is supported through a synchronization mechanism allowing for the convergence of parallel paths of execution. In this paper, we argue that more sophisticated forms of inter-process communication are necessary for increased workflow automation.
In particular, three extensions which preserve the parallelization of execution paths are proposed: the adaptation of synchronous and asynchronous messaging for data/document flow across execution paths, aborts of related execution paths, and exclusive, i.e. atomic, execution of nested processes. Illustrations from an industrial case study show how these constructs combine with classical workflow constructs to capture complex but common themes of business processing. To precisely impart the ramifications for workflow execution, we show how a formal semantics can be assigned for the constructs.
Keywords: workflow, business process re-engineering, conceptual modelling, formal semantics, Process Algebra
Copyright(C) 2000 ACM
|
|
|
|
|
|
|
