Graceful interruption of request-response service interactions

Authors:
Mila Dalla Preda;Maurizio Gabbrielli;Ivan Lanese;Jacopo Mauro;Gianluigi Zavattaro
Affiliations:
Lab. Focus, Department of Computer Science/INRIA, University of Bologna, Italy;Lab. Focus, Department of Computer Science/INRIA, University of Bologna, Italy;Lab. Focus, Department of Computer Science/INRIA, University of Bologna, Italy;Lab. Focus, Department of Computer Science/INRIA, University of Bologna, Italy;Lab. Focus, Department of Computer Science/INRIA, University of Bologna, Italy
Venue:
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Year:
2011

Citing 6
Cited 0

Sessions and Pipelines for Structured Service Programming

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The Orc Programming Language

FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Dynamic Error Handling in Service Oriented Applications

Fundamenta Informaticae - Application of Concurrency to System Design
A calculus for orchestration of web services

ESOP'07 Proceedings of the 16th European conference on Programming
SOCK: a calculus for service oriented computing

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Foundations of web transactions

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

Bi-directional request-response interaction is a standard communication pattern in Service Oriented Computing (SOC). Such a pattern should be interrupted in case of faults. In the literature, different approaches have been considered: WS-BPEL discards the response, while Jolie waits for it in order to allow the fault handler to appropriately close the conversation with the remote service. We investigate an intermediate approach in which it is not necessary for the fault handler to wait for the response, but it is still possible on response arrival to gracefully close the conversation with the remote service.