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.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (128Kb) |
Abstract
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 |