Title :
Programming Sagas in SOCK
Author :
Lanese, Ivan ; Zavattaro, Gianluigi
Author_Institution :
Comput. Sci. Dept., Univ. of Bologna, Bologna, Italy
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;
Conference_Titel :
Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on
Conference_Location :
Hanoi
Print_ISBN :
978-0-7695-3870-9
DOI :
10.1109/SEFM.2009.23
