Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely
dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It
is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of the copyright holder.
Sensoria Bibliography Site On the Interplay Between Fault Handling and Request-Response Service Invocations
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
abstract:
Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives. Most service orchestration languages proposed so far provide also primitives to handle faults and compensations. The interplay between fault handling and request-response invocations is nontrivial since, for instance, faults should be notified to the request-response communication partners in order to compensate also the remote activities. Our work is motivated by the difficulties encountered in programming, using current orchestration languages, some fault handling strategies. We propose as a solution an orchestration programming style in which fault and compensation handlers are dynamically installed. We show the adequacy of our proposal defining its semantics, and proving that it satisfies some expected high-level properties. Finally, we also show how to apply dynamic handler installation in a nontrivial automotive scenario.