Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Composing Transactional Services
@MISC{BMM:CTS,
title = {{Composing Transactional Services}},
author = {{Roberto} {Bruni} and {Hern\'an} {Melgratti} and {Ugo} {Montanari}},
note = {Manuscript.},
abstract = {This paper proposes a formal approach to the desing and programming of Long Running Transactions (LRT). We exploit techniques from process calculi to define cJoin, which is an extension of the Join calculus with few well-disciplined primitives for LRT. Transactions in cJoin are intended to describe the transactional interaction of several partners. Hence, its distinguishing feature is that any partner executing a transaction may communicate only with other transactional partners. In such case, the transactions run by any party are bound to achieve the same outcome (i.e., all succeed or all fail). Additionally, cJoin is based on compensations, i.e., partial execution of transactions are recovered by executing user-defined programs instead of providing automatic roll-back. The expressiveness and generality of cJoin is demonstrated by many examples addressing common programming patterns. The mathematical foundation is accompanied by a prototype language implementation, which is an extension of the JOCAML compiler.},
year = {2006},
url = {http://www.di.unipi.it/~bruni/publications/cjoinrevista.ps.gz},
main = {Y},
partner = {PISA},
status = {public},
task = {T5.2},
}
|
