TY - GEN
T1 - Algebraic semantics for compensable transactions
AU - Li, Jing
AU - Zhu, Huibiao
AU - He, Jifeng
PY - 2007
Y1 - 2007
N2 - This paper presents the algebraic semantics of a novel transactional language t-calculus. This language focuses on modeling long running transactions in terms of compensable transactions, showing how the compensations can be orchestrated to ensure atomicity. The typical operators of sequential and parallel compositions are redefined so that the corresponding compensations will be activated in a suitable order whenever some failure occurs in later stage. In addition, we investigate more transactional operators, such as speculative choice, exception handling, alternative forwarding and programmable compensation. The wise use of these constructs is rather helpful to set up a flexible and effective business process. We present a clear algebraic semantics for t-calculus and derive its operational semantics mechanically based on a given derivation strategy. This work provides a foundation for optimization and implementation of this language.
AB - This paper presents the algebraic semantics of a novel transactional language t-calculus. This language focuses on modeling long running transactions in terms of compensable transactions, showing how the compensations can be orchestrated to ensure atomicity. The typical operators of sequential and parallel compositions are redefined so that the corresponding compensations will be activated in a suitable order whenever some failure occurs in later stage. In addition, we investigate more transactional operators, such as speculative choice, exception handling, alternative forwarding and programmable compensation. The wise use of these constructs is rather helpful to set up a flexible and effective business process. We present a clear algebraic semantics for t-calculus and derive its operational semantics mechanically based on a given derivation strategy. This work provides a foundation for optimization and implementation of this language.
UR - https://www.scopus.com/pages/publications/38049110879
U2 - 10.1007/978-3-540-75292-9_21
DO - 10.1007/978-3-540-75292-9_21
M3 - 会议稿件
AN - SCOPUS:38049110879
SN - 9783540752905
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 306
EP - 321
BT - Theoretical Aspects of Computing - ICTAC 2007- 4th International Colloquium, Proceedings
PB - Springer Verlag
T2 - 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007
Y2 - 26 September 2007 through 28 September 2007
ER -