A Unified Mechanism for Improving Advanced Transaction Management in Web Services

Current web-service composition languages, such as BPEL, provide inferior support for transaction management. Consequently, specifications written in these languages are needlessly complex and hard to reuse. Furthermore, the languages themselves are not transactionally extensible, making them hard to adapt to support new forms of web service composition. Using a unified mechanism for dealing with transaction management we are able to simplify BPEL specifications, making them more reusable, and also allowing for easy evolution of the language, addressing new forms of composition. In this paper we present DBCF, a framework that implements this unified mechanism. Moreover, we show how DBCF can be used as a basis for defining a BPEL extension that successfully addresses the above problems.

[1]  Andreas Reuter,et al.  The ConTract Model , 1991, Database Transaction Models for Advanced Applications.

[2]  Panos K. Chrysanthis,et al.  A taxonomy of correctness criteria in database applications , 1996, The VLDB Journal.

[3]  Theo D'Hondt,et al.  KALA: Kernel aspect language for advanced transactions , 2008, Sci. Comput. Program..

[4]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[5]  Eric van der Vlist,et al.  XML Schema , 2002 .

[6]  Frank Leymann,et al.  Web Services , 2004, Informatik-Spektrum.

[7]  Panos K. Chrysanthis,et al.  ACTA: The SAGA Continues , 1992, Database Transaction Models for Advanced Applications.

[8]  Andreas Reuter,et al.  Grundkonzepte und Realisierungstrategien des ConTract-Modells , 1990, Inform. Forsch. Entwickl..

[9]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[10]  Panos K. Chrysanthis,et al.  Synthesis of extended transaction models using ACTA , 1994, TODS.

[11]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[12]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[13]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[14]  Ahmed K. Elmagarmid,et al.  A Multidatabase Transaction Model for InterBase , 1990, VLDB.

[15]  Panos K. Chrysanthis,et al.  A Formalism for Extended Transaction Model , 1991, VLDB.

[16]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[17]  Theo D'Hondt,et al.  KALA: Kernel Aspect language for advanced transactions , 2006, SAC '06.

[18]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .