Ad-hoc recovery in workflow systems - formal model and a prototype system

Thesis (M.Sc.), Memorial University of Newfoundland, 2000. Computer Science Bibliography: leaves [93]-98. A workflow management system (WFMS) facilitates business processing (workflow) across distributed nodes. State-of-the-art WFMSs do not have adequate support for the dynamic changes during the wo...

Full description

Bibliographic Details
Main Author: Xing, Xuemin, 1972-
Other Authors: Memorial University of Newfoundland. Dept. of Computer Science
Format: Thesis
Language:English
Published: 1999
Subjects:
Online Access:http://collections.mun.ca/cdm/ref/collection/theses4/id/21531
Description
Summary:Thesis (M.Sc.), Memorial University of Newfoundland, 2000. Computer Science Bibliography: leaves [93]-98. A workflow management system (WFMS) facilitates business processing (workflow) across distributed nodes. State-of-the-art WFMSs do not have adequate support for the dynamic changes during the workflow execution. This thesis focuses on one of the dynamic problems, ad-hoc recovery. It is a phenomenon that occurs in workflow applications when an agent needs to alter the control flow prescribed in the original definition. Specifically, we are interested in the backward ad-hoc recoveries, in which the control flow is redirected backward. When this happens, some tasks will be re-executed and consistency problems may arise. In our proposed ad-hoc recovery model, the key components of the ad-hoc recovery are defined and some constraints are given to ensure the correctness of the workflow execution. We also present a WFMS prototype, describing its design strategy and implementation method, as well as a related protocol, as one application of this model. The protocol is exemplified by a hospital workflow. Some performance issues are also discussed.