|
Published Articles >> Table of Contents >> Abstract
14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP'06)
pp. 39-47
p_RBT-calculus Compensation and Exception Handling Protocol
Memon Abdul Ghafoor, Zhejiang University, Hangzhou, China
Jianwei Yin, Zhejiang University, Hangzhou, China
Jinxiang Dong, Zhejiang University, Hangzhou, China
Maree Mujeeb-u-Rehman, Zhejiang University, Hangzhou, China
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PDP.2006.1
Send link to a friend
| Abstract |
|
Several existing research protocols have already
studied long running transactions within a formal
context and many of them seemed to use concepts
which are not suitable. However, there still exists a
great challenge to perform transactions in the loosely
coupled environment. In this paper we present formal
model for compositional protocol with the
asynchronous .."calculus with compensation and
exception handling. We study the practice of ..RBTcalculus,
by discussing few paradigmatic examples, its
theory, by defining semantics and providing a correct
encoding of ..RBT-calculus into asynchronous .."
calculus. ..RBT-calculus is a business process modeling
protocol and a distinctive feature of the language is its
support for compensation. Compensation is an action
taken to recover from error or cope with a change of
plan, especially when rollback of a process is not
possible. We also propose a process-oriented
transactional business coordination model with
hierarchical structure. It allows dependencies across
hierarchies and supports various transactional
behaviors of different services. Based on this model, a
novel failure recovery algorithm is presented. It can
ensure semantic atomicity for long running Web
services composition. Analysis shows it can effectively
reduce compensation sphere and thus decrease costs.
|
 Additional Information
|
Citation:
Memon Abdul Ghafoor, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman,
"p_RBT-calculus Compensation and Exception Handling Protocol,"
pdp,
pp. 39-47,
14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP'06),
2006
|
|
