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
id ftmemorialunivdc:oai:collections.mun.ca:theses4/21531
record_format openpolar
spelling ftmemorialunivdc:oai:collections.mun.ca:theses4/21531 2023-05-15T17:23:33+02:00 Ad-hoc recovery in workflow systems - formal model and a prototype system Xing, Xuemin, 1972- Memorial University of Newfoundland. Dept. of Computer Science 1999. x, 98 leaves : ill. Image/jpeg; Application/pdf http://collections.mun.ca/cdm/ref/collection/theses4/id/21531 Eng eng Electronic Theses and Dissertations (11.60 MB) -- http://collections.mun.ca/PDFs/theses/Xing_Xuemin.pdf a1477474 http://collections.mun.ca/cdm/ref/collection/theses4/id/21531 The author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission. Paper copy kept in the Centre for Newfoundland Studies, Memorial University Libraries Workflow--Management Management information systems Transaction systems (Computer systems) Production management--Data processing Text Electronic thesis or dissertation 1999 ftmemorialunivdc 2015-08-06T19:21:41Z 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. Thesis Newfoundland studies University of Newfoundland Memorial University of Newfoundland: Digital Archives Initiative (DAI)
institution Open Polar
collection Memorial University of Newfoundland: Digital Archives Initiative (DAI)
op_collection_id ftmemorialunivdc
language English
topic Workflow--Management
Management information systems
Transaction systems (Computer systems)
Production management--Data processing
spellingShingle Workflow--Management
Management information systems
Transaction systems (Computer systems)
Production management--Data processing
Xing, Xuemin, 1972-
Ad-hoc recovery in workflow systems - formal model and a prototype system
topic_facet Workflow--Management
Management information systems
Transaction systems (Computer systems)
Production management--Data processing
description 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.
author2 Memorial University of Newfoundland. Dept. of Computer Science
format Thesis
author Xing, Xuemin, 1972-
author_facet Xing, Xuemin, 1972-
author_sort Xing, Xuemin, 1972-
title Ad-hoc recovery in workflow systems - formal model and a prototype system
title_short Ad-hoc recovery in workflow systems - formal model and a prototype system
title_full Ad-hoc recovery in workflow systems - formal model and a prototype system
title_fullStr Ad-hoc recovery in workflow systems - formal model and a prototype system
title_full_unstemmed Ad-hoc recovery in workflow systems - formal model and a prototype system
title_sort ad-hoc recovery in workflow systems - formal model and a prototype system
publishDate 1999
url http://collections.mun.ca/cdm/ref/collection/theses4/id/21531
genre Newfoundland studies
University of Newfoundland
genre_facet Newfoundland studies
University of Newfoundland
op_source Paper copy kept in the Centre for Newfoundland Studies, Memorial University Libraries
op_relation Electronic Theses and Dissertations
(11.60 MB) -- http://collections.mun.ca/PDFs/theses/Xing_Xuemin.pdf
a1477474
http://collections.mun.ca/cdm/ref/collection/theses4/id/21531
op_rights The author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission.
_version_ 1766113217370652672