Workflow management — An exercise in distributed computing
The example of what formal correctness of concurrent execution in a workflow environment could mean demonstrates at least two things: Solutions that work well in traditional settings with short-lived units of computation cannot simply be carried over to that problem domain. Second, there is no unique, general correctness criterion. It much depends on how the application perceives its data and the dependencies between them, so a practical solution may be a formal framework within which each specific application can define the type of correctness that is most appropriate. Defining such frameworks and finding ways of implementing them efficiently is one of the great challenges in workflow management technology.
Unable to display preview. Download preview PDF.
- Shet, A. et al.: Report from the NSF Workshop on Workflow and Process Automation in Information Systems, Athens, Georgia, May 8–10, 1996 Technical Report UGA-CS-TR-96-003, Dept. of Computer Sc., University of Georgia, October 1996, available at: http://lsdis.cs.uga.edu/activities/NSF-workflowGoogle Scholar
- Wächter, H., Reuter, A.: The ConTract Model, in: Elmagarmid, A.K. (ed.): Database Transaction Models, Morgan Kaufmann Publishers, San Mateo, 1992.Google Scholar
- Korth, H., Levy, E., Silberschatz, A.: A Formal Approach to Recovery by Compensating Transactions, in: Proc. of the 16th International Conference on Very Large Databases, 1990.Google Scholar
- Reuter, A., Schneider, K., Schwenkreis, F.: ConTracts Revisited, in: Jajodia, S., Kerschberg, L. (eds.): Advanced Transaction Models and Architectures, Kluwer Verlag, 1997.Google Scholar