DocumentCode
2893891
Title
Programming Sagas in SOCK
Author
Lanese, Ivan ; Zavattaro, Gianluigi
Author_Institution
Comput. Sci. Dept., Univ. of Bologna, Bologna, Italy
fYear
2009
fDate
23-27 Nov. 2009
Firstpage
189
Lastpage
198
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 discuss a new semantics for parallel Sagas that we consider more adequate to the dynamic approach to fault and compensation handling.
Keywords
parallel processing; process algebra; SOCK; Sagas calculi; compensation handling; dynamic fault; parallel Sagas; process calculus; service oriented system; Calculus; Computer science; Concrete; Context-aware services; Dynamic programming; Encoding; Marine vehicles; Programming profession; Software engineering; Compensations; error recovery; process calculi; sagas; web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on
Conference_Location
Hanoi
Print_ISBN
978-0-7695-3870-9
Type
conf
DOI
10.1109/SEFM.2009.23
Filename
5368096
Link To Document