An environment for flexible advanced compensations of Web service transactions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An environment for flexible advanced compensations of Web service transactions

Full text

Pdf (640 KB)

Source

ACM Transactions on the Web (TWEB) archive
Volume 2 , Issue 2 (April 2008) table of contents

Article No. 14

Year of Publication: 2008

ISSN:1559-1131

Authors

Michael Schäfer	University of Hannover, Hannover, Germany
Peter Dolog	Aalborg University, Aalborg East, Denmark
Wolfgang Nejdl	University of Hannover, Hannover, Germany

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 27, Downloads (12 Months): 298, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	10.1145/1346237.1346242

ABSTRACT

Business to business integration has recently been performed by employing Web service environments. Moreover, such environments are being provided by major players on the technology markets. Those environments are based on open specifications for transaction coordination. When a failure in such an environment occurs, a compensation can be initiated to recover from the failure. However, current environments have only limited capabilities for compensations, and are usually based on backward recovery. In this article, we introduce an environment to deal with advanced compensations based on forward recovery principles. We extend the existing Web service transaction coordination architecture and infrastructure in order to support flexible compensation operations. We use a contract-based approach, which allows the specification of permitted compensations at runtime. We introduce abstract service and adapter components, which allow us to separate the compensation logic from the coordination logic. In this way, we can easily plug in or plug out different compensation strategies based on a specification language defined on top of basic compensation activities and complex compensation types. Experiments with our approach and environment show that such an approach to compensation is feasible and beneficial. Additionally, we introduce a cost-benefit model to evaluate the proposed environment based on net value analysis. The evaluation shows in which circumstances the environment is economical.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alonso, G., Casati, F., Kuno, H., and Machiraju, V. 2003. Web Services---Concepts, Architectures and Applications. Springer.
	2	Mohammad Alrifai , Peter Dolog , Wolfgang Nejdl, Transactions Concurrency Control in Web Service Environment, Proceedings of the European Conference on Web Services, p.109-118, December 04-06, 2006 [doi>10.1109/ECOWS.2006.37]
	3	Arjuna Technologies Ltd., BEA Systems, Hitachi Ltd., IBM Corporation, IONA Technologies, and Microsoft Corporation. 2005a. Web Services Business Activity Framework. Published online at ftp://www6.software.ibm.com/software/developer/library/WS-BusinessActivity.pdf.
	4	Arjuna Technologies Ltd., BEA Systems, Hitachi Ltd., International Business Machines Corporation, IONA Technologies, and Microsoft Corporation. 2005b. Web Services Coordination. Published online at ftp://www6.software.ibm.com/software/developer/library/WS-Coordination.pdf.
	5	Arjuna Technologies Ltd., BEA Systems, Hitachi Ltd., International Business Machines Corporation, IONA Technologies, and Microsoft Corporation Inc. 2005c. Web Services Atomic Transaction. Published online at ftp://www6.software.ibm.com/software/developer/library/WS-AtomicTransaction.pdf.
	6	Roger S. Barga , Calton Pu, A Practical and Modular Implementation of Extended Transaction Models, Proceedings of the 21th International Conference on Very Large Data Bases, p.206-217, September 11-15, 1995
	7	A. Biliris , S. Dar , N. Gehani , H. V. Jagadish , K. Ramamritham, ASSET: a system for supporting extended transactions, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, p.44-54, May 24-27, 1994, Minneapolis, Minnesota, United States
	8	David Chappell, Enterprise Service Bus, O'Reilly Media, Inc., 2004
	9	Choi, S., Jang, H., Kim, H., Kim, J., Kim, S. M., Song, J., and Lee, Y.-J. 2005. Maintaining consistency under isolation relaxation of Web services transactions. In WISE, A. H. H. Ngu, M. Kitsuregawa, E. J. Neuhold, J.-Y. Chung, and Q. Z. Sheng, Eds., Lecture Notes in Computer Science, vol. 3806. Springer, 245--257.
	10	Christensen, E., Curbera, F., Meredith, G., and Weerawarana, S. 2001. Web Services Description Language (WSDL) 1.1. W3C note, W3C. March.
	11	Edmund M. Clarke , E. Allen Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs, Workshop, p.52-71, May 01, 1981
	12	Umeshwar Dayal , Meichun Hsu , Rivka Ladin, A Transactional Model for Long-Running Activities, Proceedings of the 17th International Conference on Very Large Data Bases, p.113-122, September 03-06, 1991
	13	Glen Dobson, Using WS-BPEL to Implement Software Fault Tolerance for Web Services, Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, p.126-133, August 29-September 01, 2006 [doi>10.1109/EUROMICRO.2006.63]
	14	Ahmed K. Elmagarmid, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	15	Hector Garcia-Molina , Dieter Gawlick , Johannes Klein , Karl Kleissner , Kenneth Salem, Modeling long-running activities as nested sagas, Data Engineering, v.14 n.1, p.14-18, March 1991
	16	Hector Garcia-Molina , Kenneth Salem, Sagas, Proceedings of the 1987 ACM SIGMOD international conference on Management of data, p.249-259, May 27-29, 1987, San Francisco, California, United States
	17	Rob Gerth , Doron Peled , Moshe Y. Vardi , Pierre Wolper, Simple on-the-fly automatic verification of linear temporal logic, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, p.3-18, June 01, 1995
	18	Jim Gray, The transaction concept: virtues and limitations (invited paper), Proceedings of the seventh international conference on Very Large Data Bases, p.144-154, September 09-11, 1981, Cannes, France
	19	Paul Greenfield , Alan Fekete , Julian Jang , Dean Kuo, Compensation is Not Enough, Proceedings of the 7th International Conference on Enterprise Distributed Object Computing, p.232, September 16-19, 2003
	20	Günthör, R. 1993. Extended transaction processing based on dependency rules. In Third International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems (RIDE-IMS 1993). IEEE, Vienna, Austria, 207--214.
	21	Dimka Karastoyanova , Alejandro Houspanossian , Mariano Cilia , Frank Leymann , Alejandro Buchmann, Extending BPEL for Run Time Adaptability, Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference, p.15-26, September 19-23, 2005 [doi>10.1109/EDOC.2005.14]
	22	Klein, J. 1991. Advanced rule driven transaction management. In Compcon Spring '91. Digest of Papers. IEEE, San Francisco, CA, 562--567.
	23	Lili Lin , Fangfang Liu, Compensation with Dependency in Web Services Composition, Proceedings of the International Conference on Next Generation Web Services Practices, p.183, August 22-26, 2005 [doi>10.1109/NWESP.2005.24]
	24	Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993
	25	Merlin, P. and Farber, D. Sep 1976. Recoverability of communication protocols---implications of a theoretical study. IEEE Trans. Comm. 24, 9 (Sep.), 1036--1043.
	26	Bertrand Meyer, Applying "Design by Contract", Computer, v.25 n.10, p.40-51, October 1992 [doi>10.1109/2.161279]
	27	Nielsen, H. F., Mendelsohn, N., Moreau, J. J., Gudgin, M., and Hadley, M. 2003. SOAP version 1.2 part 1: Messaging framework. W3C recommendation, W3C. June.
	28	OASIS 2007. Web Services Business Process Execution Language Version 2.0. Published online at http://docs.oasis-open.org/wsbpel/2.0/CS01/wsbpel-v2.0-CS01.pdf.
	29	Paulo F. Pires , Mario R. F. Benevides , Marta Mattoso, Building Reliable Web Services Compositions, Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems, p.59-72, October 07-10, 2002
	30	Calton Pu , Gail E. Kaiser , Norman C. Hutchinson, Split-Transactions for Open-Ended Activities, Proceedings of the 14th International Conference on Very Large Data Bases, p.26-37, August 29-September 01, 1988
	31	Laura L. Pullum, Software fault tolerance techniques and implementation, Artech House, Inc., Norwood, MA, 2001
	32	Manfred Reichert , Peter Dadam, Adept $_flex$ —Supporting Dynamic Changes of Workflows Without Losing Control, Journal of Intelligent Information Systems, v.10 n.2, p.93-129, March/April 1998 [doi>10.1023/A:1008604709862]
	33	Manfred Reichert , Stefanie Rinderle , Ulrich Kreher , Peter Dadam, Adaptive Process Management with ADEPT2, Proceedings of the 21st International Conference on Data Engineering, p.1113-1114, April 05-08, 2005 [doi>10.1109/ICDE.2005.17]
	34	Rinderle, S., Bassil, S., and Reichert, M. 2006. A Framework for semantic recovery strategies in case of process activity failures. In Proceedings of the Eighth International Conference on Enterprise Information Systems (ICEIS 2006), Y. Manolopoulos, J. Filipe, P. Constantopoulos, and J. Cordeiro, Eds. 136--143.
	35	Schäfer, M., Dolog, P., and Nejdl, W. 2007. Engineering compensations in Web service environment. In International Conference on Web Engineering (ICWE 2007), P. Fraternali, L. Baresi, and G.-J. Houben, Eds. LNCS, vol. 4607. Springer Verlag, Como, Italy, 32--46.
	36	Gerhard Weikum , Hans-J. Schek, Multi-level transactions and open nested transactions, Data Engineering, v.14 n.1, p.60-64, March 1991
	37	Zaihan Yang , Chengfei Liu, Implementing a Flexible Compensation Mechanism for Business Processes in Web Service Environment, Proceedings of the IEEE International Conference on Web Services, p.753-760, September 18-22, 2006 [doi>10.1109/ICWS.2006.72]
	38	Wlodzimierz M. Zuberek, Extended D-timed Petri nets, timeouts, and analysis of communication protocols, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.10-15, October 1985, Denver, Colorado, United States [doi>10.1145/320435.320444]