HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Master Theses  >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1783.1/5820
Title: Business process atomicity analysis supporting late task property bindings
Authors: Lo, Yuet Mei
Issue Date: 2005
Abstract: Atomicity imposes an all-or-nothing requirement on the observable effects of a business process. In a business process, each task may need to be compensated or retried during failure recovery to assure process atomicity. The properties of whether a task can be compensated and whether it can be retried may be dynamically changed for business needs. Fro example, a company changes its decision on a supplier to obtain a lower price of products before placing a purchase order. When the decision change leads to unavailability of the product-return service, the task of purchasing is changed to non-compensable. However, if the task properties are not changed under proper control, the atomicity of the process may be violated. To address this problem, we present a rigorous approach to examine if the atomicity of a business process is guaranteed under different possible bindings of its task properties. The proposed approach is useful as a proactive measure to prevent violation of atomicity due to dynamic changes of these properties. These concepts are illustrated by a customer service process of a computer company that provides assembly, delivery and installation of computer sets.
Description: Thesis (M.Phil.)--Hong Kong University of Science and Technology, 2005
x, 87 leaves : ill. ; 30 cm
HKUST Call Number: Thesis COMP 2005 Lo
URI: http://hdl.handle.net/1783.1/5820
Appears in Collections:CSE Master Theses

Files in This Item:

File Description SizeFormat
th_redirect.html0KbHTMLView/Open

All items in this Repository are protected by copyright, with all rights reserved.