TY - GEN
T1 - A formal model for compensable transactions
AU - Li, Jing
AU - Zhu, Huibiao
AU - Pu, Geguang
AU - He, Jifeng
PY - 2007
Y1 - 2007
N2 - Different from traditional transactions, a compensable transaction relies on compensations to amend partial execution whenever an error occurs. The compensation is preserved on successful completion of its forward transaction for possibly later use. In this paper, we pay attention to the compositional structure of compensable transactions. Except for sequential and parallel compositions, other useful compositional constructs, such as speculative choice, exception handling, alternative forwarding and programmable compensation, are also investigated. All these constructs are not only devised to describe distinct business flow but also used to enhance the capability for dealing with errors. t-calculus is such a transactional language that involves a variety of primitives for composing compensable transactions in a wise way. We present a clear operational semantics for this language and the corresponding concept of bisimulation is defined, which is used to derive equational laws for compensable transactions.
AB - Different from traditional transactions, a compensable transaction relies on compensations to amend partial execution whenever an error occurs. The compensation is preserved on successful completion of its forward transaction for possibly later use. In this paper, we pay attention to the compositional structure of compensable transactions. Except for sequential and parallel compositions, other useful compositional constructs, such as speculative choice, exception handling, alternative forwarding and programmable compensation, are also investigated. All these constructs are not only devised to describe distinct business flow but also used to enhance the capability for dealing with errors. t-calculus is such a transactional language that involves a variety of primitives for composing compensable transactions in a wise way. We present a clear operational semantics for this language and the corresponding concept of bisimulation is defined, which is used to derive equational laws for compensable transactions.
UR - https://www.scopus.com/pages/publications/45749143175
U2 - 10.1109/ICECCS.2007.8
DO - 10.1109/ICECCS.2007.8
M3 - 会议稿件
AN - SCOPUS:45749143175
SN - 0769528953
SN - 9780769528953
T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
SP - 64
EP - 73
BT - Proceedings - 12th IEEE International Conference on Engineering Complex Computer Systems, ICECCS 2007
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 12th IEEE International Conference on Engineering Complex Computer Systems, ICECCS 2007
Y2 - 11 July 2007 through 14 July 2007
ER -