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...
Main Author: | |
---|---|
Other Authors: | |
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 |