Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

SEFM
2009
IEEE

favoriteEmaildiscussreport

127views Software Engineering» more SEFM 2009»

Programming Sagas in SOCK

13 years 11 months ago

Programming Sagas in SOCK

Download rap.dsi.unifi.it

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 ﬂow 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.

Ivan Lanese, Gianluigi Zavattaro

Real-time Traffic

Compensation Handling | Parallel Sagas | SEFM 2009 | Service Oriented Systems | Software Engineering |

claim paper

Related Content

» Grid Interoperability at the Application Level Using SAGA

» Application Level Interoperability between Clouds and Grids

» Developing Scientific Applications with LooselyCoupled Subtasks

» Dynamic Facility Location with Stochastic Demands

» Scenario Reduction Techniques in Stochastic Programming

» Composing Services with JOLIE

» Dynamic Programming for LinearTime Incremental Parsing

» Bounds for Multistage Stochastic Programs Using Supervised Learning Strategies

» An Algebraic Programming Style for Numerical Software and its Optimization

Post Info
More Details (n/a)

Added	21 May 2010
Updated	21 May 2010
Type	Conference
Year	2009
Where	SEFM
Authors	Ivan Lanese, Gianluigi Zavattaro

Comments (0)