SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate the relationships between the Sagas calculi for compensable flow composition and SOCK. First, we present an encoding of Parallel Sagas (with interruption and centralized compensation) into SOCK. Then, we dis- cuss a new semantics for Parallel Sagas that we consider more adequate to the dynamic approach to fault and compensation handling.

I. Lanese, G. Zavattaro (2009). Programming Sagas in SOCK. LOS ALAMITOS, CA : IEEE Computer Society Press.

Programming Sagas in SOCK

LANESE, IVAN;ZAVATTARO, GIANLUIGI
2009

Abstract

SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate the relationships between the Sagas calculi for compensable flow composition and SOCK. First, we present an encoding of Parallel Sagas (with interruption and centralized compensation) into SOCK. Then, we dis- cuss a new semantics for Parallel Sagas that we consider more adequate to the dynamic approach to fault and compensation handling.
2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009
189
198
I. Lanese, G. Zavattaro (2009). Programming Sagas in SOCK. LOS ALAMITOS, CA : IEEE Computer Society Press.
I. Lanese; G. Zavattaro
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/84913
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 6
social impact