A Framework to Test Advanced Web Services Transactions

Transactions are a key issue in the reliability of distributed applications because they ensure all the participants achieve a mutually agreed outcome. However, current research has given little attention to testing transactions in web services. This paper presents a conceptual framework, inspired in risk-based methodologies, to address this gap. It also reports on preliminary results and identifies future work.

[1]  Jing Li,et al.  Specifying and Verifying Web Transactions , 2008, FORTE.

[2]  Claude Godart,et al.  Transactional patterns for reliable web services compositions , 2006, ICWE '06.

[3]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[4]  Approved Errata.  Web Services Coordination (WS- Coordination) Version 1.1 Errata , 2007 .

[5]  Yinsheng Li,et al.  An Efficient Transaction Commit Protocol for Composite Web Services , 2006, 20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06).

[6]  Nikolaos Limnios,et al.  Fault Trees , 2007 .

[7]  Jim Gray,et al.  Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.

[8]  Gerardo Canfora,et al.  Service-Oriented Architectures Testing: A Survey , 2009, ISSSE.

[9]  Paolo Milazzo,et al.  Design and verification of long-running transactions in a timed framework , 2008, Sci. Comput. Program..

[10]  Anthony Nadalin,et al.  Web Services Atomic Transaction (WS- AtomicTransaction) , 2003 .

[11]  Matthias Nussbaum.  Database Transaction Models for Advanced Applications , 1992 .

[12]  L. Cabrera,et al.  Web Services Business Activity Framework (WS-BusinessActivity) , 2004 .

[13]  Rubén Casado Tejedor,et al.  Testing Transactions in Service Oriented Architectures , 2009 .

[14]  Walid Gaaloul,et al.  Verifying Composite Service Transactional Behavior Using Event Calculus , 2007, OTM Conferences.

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

[16]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[17]  Rupak Majumdar,et al.  Verifying Compensating Transactions , 2007, VMCAI.

[18]  Javier Tuya,et al.  Testing Long-Lived Web Services Transactions Using a Risk-Based Approach , 2010, 2010 10th International Conference on Quality Software.