Interaction patterns based checkpointing of choreographed web services

Abstract

Complex business processes can be realised by composing web services already available on the web. Choreography of web services describes how its constituent services have to interact with other to achieve business goals. In order to make a choreographed web service resilient to transient faults, we investigate in this paper the idea of applying checkpoints to web services. We do this in two steps: firstly, we identify patterns in which choreographed web services interact with each other and propose complexity metrics for these interaction patterns. Next, we propose pattern based checkpointing policy that identifies checkpointing locations in the given choreography. We also provide formal specification to the proposed patterns. We demonstrate the usability of our approach through the development of a tool that automatically inserts checkpointing locations in the given choreography specification.