Università di Pisa
Sistema bibliotecario di ateneo

Centralized and distributed orchestration of transactions in the join calculus

Bruni, Roberto and Laneve, C. and Montanari, Ugo (2002) Centralized and distributed orchestration of transactions in the join calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (128Kb)


    We discuss the principles of distributed transactions, then we define an operational model which meets the basic requirements and we give a prototyping implementation for it in join-calculus. Our model: (1) extends BizTalk with multiway transactions; (2) exploits an original algorithm, for distributed commit; (3) can deal with dynamically changing communication topology; (4) is almost language-independent. In fact, the model is based on a two-level classification of resources, which should be easily conveyed to distributed calculi and languages, providing them with a uniform transactional mechanism.

    Item Type: Book
    Uncontrolled Keywords: Zero Safe Nets, Join Calculus, BizTalk, Orchestration, Concurrent Semantics, Transactions
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 17 Dec 2014 16:31
    Last Modified: 17 Dec 2014 16:31
    URI: http://eprints.adm.unipi.it/id/eprint/2083

    Repository staff only actions

    View Item