A Formal Model for Compensable Transactions
- 1 January 2007
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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.Keywords
This publication has 7 references indexed in Scilit:
- Looking into Compensable TransactionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Modeling and Verifying Web Services Choreography Using Process AlgebraPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Theoretical foundations for compensations in flow composition languagesPublished by Association for Computing Machinery (ACM) ,2005
- Comparing Two Approaches to Compensable Flow CompositionPublished by Springer Nature ,2005
- A Framework for Generic Error Handling in Business ProcessesElectronic Notes in Theoretical Computer Science, 2004
- Extending the concept of transaction compensationIBM Systems Journal, 2002
- SagasPublished by Association for Computing Machinery (ACM) ,1987