SAGAs calculi (or simply SAGAs) have been proposed by Bruni et al. as a model for long-running transactions. The approach therein can be considered static, while a dynamic approach has been proposed by Lanese and Zavattaro. In this paper we first extend both static SAGAs (in the coordinated interruption policy) and dynamic SAGAs to deal with nesting, then we compare the two approaches.
Lanese I. (2010). Static vs Dynamic SAGAs [10.4204/EPTCS.38.7].
Static vs Dynamic SAGAs
LANESE, IVAN
2010
Abstract
SAGAs calculi (or simply SAGAs) have been proposed by Bruni et al. as a model for long-running transactions. The approach therein can be considered static, while a dynamic approach has been proposed by Lanese and Zavattaro. In this paper we first extend both static SAGAs (in the coordinated interruption policy) and dynamic SAGAs to deal with nesting, then we compare the two approaches.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.