Framework for Automatic Checkpoint Generation

Abstract

Web services provide services to their consumers in accordance with terms and conditions laid down in a document called as Service Level Agreement (SLA). Web services have to abide by these terms and conditions failing which, SLA faults result. Fault handling of web services is a key mechanism using which SLA faults can be avoided. We propose fault handling of choreographed web services using checkpointing and recovery. We propose checkpointing in three stages: design, deployment and dynamic checkpointing. In this paper we propose a framework for generation of checkpoint locations automatically in a given choreography document by applying design time checkpointing rules. We have also developed a tool to demonstrate that the proposed framework is indeed implementable.