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.
- Avizienis A., Laprie J-C., Randell B., and Landwehr C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, pp. 11 to 32 (2004). Google ScholarDigital Library
- Alistair Barros, Marlon Dumas, Phillipa Oaks. A Critical Overview of the Web Services Choreography Description Language. BPTrends March 2005.Google Scholar
- K.S. May Chan, Judith Bishop, Johan Steyn, Luciano Baresi and Sam Guinea. A Fault Taxonomy for Web Service Composition. Service-Oriented Computing - ICSOC 2007.Google Scholar
- Chandy K. M. and Lamport L. Distributed Snapshots: Determining Global State of Distributed Systems, ACM Transaction on Computing Systems, vol. 3,No. 1, pp. 63-75, February 1985. Google ScholarDigital Library
- Luis Moura e Silva J, b Gabriel Silvas. Global Checkpointing for Distributed Programs, 1060-9857/92 81992 IEEE.Google Scholar
- Netzer R.H and Xu J. Necessary and sufficient conditions for consistent global snapshots. IEEE Transactions on Parallel and Distributed Systems. Vol 6, No 2, pp. 165 to 169. 1995 Google ScholarDigital Library
- E. N. Elnazohy,Lorenzo Alvisi,Yi-min Wang.A Survey of Rollback-Recovery Protocols in Message Passing Systems.ACM Computing Surveys, Vol. 34, No. 3, September 2002, pp. 375 to 408. Google ScholarDigital Library
- Richard Koo and Sam Toueg. Checkpointing and Rollback-Recovery for Distributed Systems.IEEE Transactions od Software Engineering, Vol. SE 13, No. 1, Jan 1987 Google ScholarDigital Library
- Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill. Automated Application-level Checkpointing of MPI Programs. In Principles and Practice of Parallel Programming, June 2003. Google ScholarDigital Library
- Yves Robert, Frédéric Vivien, Dounia Zaidouni. On the complexity of scheduling checkpoints for computational workflows. 42nd International Conference on Dependable Systems and Networks Workshops, 2012.Google ScholarCross Ref
- Lin L, Ahamad M. Checkpointing and rollback-recovery in distributed object based systems. 20th International Symposium on Fault-Tolerant Computing, 1990. FTCS-20.Google ScholarCross Ref
- D. Manivannan, Robert H. B. Netzer, Mukesh Singhal, Finding Consistent Global Checkpoints in a Distributed Computation. IEEE transactions on parallel and distributed systems, Vol 8, no. 6, June 1997. Google ScholarDigital Library
- Soumaya Marzouk, Afef Jmal Mat’Lalej, and Mohamed Jmaiel. Aspect Oriented Checkpointing Approach of Composed Web Services. ICWE 2010 Workshops, Springer-Verlag Berlin Heidelberg 2010. Google ScholarDigital Library
- Susan D. Urban, Le Gao, Rajiv Shrestha, and Andrew Courter. Achieving Recovery in Service Composition with Assurance Points and Integration. Springer Verilag Berlin Heidelberg 2010.Google Scholar
- Sagnika Sen, Haluk Demirkan and Michael Goul.Towards a Verifiable Checkpointing Scheme for Agent-based Interorganizational Workflow System Docking Station Standards. HICSS ’05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Vol 07. Google ScholarDigital Library
- Marta Rukoz, Yudith Cardinale, Rafael Angarita. FaCETa*: Checkpointing for Transactional Composite Web Service Execution based on Petri-Nets. The International Symposium on Advances in Transaction Processing, 2012, Ontario, Canada.Google ScholarCross Ref
- Wesley Bland, Peng Du, Aurelien Bouteiller, Thomas Herault. Extending the scope of the Checkpoint on Failure protocol for forward recovery in standard MPI. Concurrency and computation: Practice and experience. Vol 25. pp:2381 to 2393. 2013.Google Scholar
- H. Elfawal Mansour and T. Dillon. Dependability and rollback recovery for composite web services. IEEE transactions on services computing, Volume. 4, NO. 4, oct-dec 2011. Google ScholarDigital Library
- Ezenwoye, O., Sadjadi, S.M.: TRAP/BPEL: A framework for dynamic adaptation of composite services. Proceedings of the International Conference on Web Information Systems and Technologies, 2007.Google Scholar
- An Liu, Qing Li, Liusheng Huang, and Mingjun Xiao. FACTS: A Framework for Fault-Tolerant Composition of Transactional Web Services. IEEE transactions on services computing, Vol. 3, No. 1, jan-mar 2010. Google ScholarDigital Library
- Halima, R.B., Drira, K., Jmaiel, M. A qos-oriented reconfigurable middleware for self-healing web services. IEEE International Conference on Web Services, 2008, China, pp. 104 to 111. Google ScholarDigital Library
- Alex Duong Nghiem. IT Web Services: A Roadmap for the Enterprise. Prentice Hall Professional, 2003.Google Scholar
- David Linthicum.Chapter 1: Service Oriented Architecture (SOA). Microsoft developer network. http://msdn.microsoft.comGoogle Scholar
Index Terms
- Interaction patterns based checkpointing of choreographed web services
Recommendations
A survey on checkpointing web services
PESOS 2014: Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud SystemsWith the advent and widespread use of web services, complex business processes are being built by discovering and composing services already available over the Internet. Such composite web services operate over the Internet where reliability and speed ...
Time and Cost Aware Checkpointing of Choreographed Web Services
ICDCIT 2015: Proceedings of the 11th International Conference on Distributed Computing and Internet Technology - Volume 8956Complex business processes can be realized by composing two or more web services into a composite web service. Due to the widespread reachability of Internet, more and more web services are becoming available to the consumers. Quality aware consumers ...
Composing Web Services: A QoS View
An Internet application can invoke several services--a stock-trading Web service, for example, could invoke a payment service, which could then invoke an authentication service. Such a scenario is called a composite Web service, and it can be specified ...
Comments