Testing the reliability of web services transactions in cooperative applications

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2012, Pages 743-748

  Casado, Rubén ^a   Tuya, Javier ^a   Younas, Muhammad ^b  

^a UNIVERSITY OF OVIEDO   (Spain)

^b OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

cooperative applications; testing; transactions; web services

Indexed keywords

ABSTRACT MODELS; COOPERATIVE APPLICATIONS; DIFFERENT DOMAINS; DISTRIBUTED COMPUTING ENVIRONMENT; EBUSINESS; MODEL BASED TESTING; SERVICE PROVIDER; TEST SCENARIO; TRANSACTION MANAGEMENT; TRANSACTIONS;

HEALTH CARE; TESTING; WEBSITES;

WEB SERVICES;

EID: 84863578902     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2245276.2245418     Document Type: Conference Paper

References (26)

1. M. Younas, K. Chao, C. Lo, Y. Li, "An Efficient Transaction Commit Protocol for Composite Web Services," Int. Conf. on Ad. Info. Networking and Applications, 2006.
2. G. Canfora and M. Penta, "Service-Oriented Architectures Testing: A Survey," ISSSE 2006-2008, Salerno, Italy, 2009
3. OASIS, "Business Transaction Protocol," http://www.oasisopen. org/committees/tchome.php?wg-abbrev=business-transaction.
4. OASIS, "Web Services Business Activity," http://docs.oasis- open.org/ws-tx/wsba/2006/06.
5. OASIS, "Web Services Composite Application Framework"http:// www.oasis-open.org/committees/tc-home.php?wg-abbrev=ws-caf.
6. Database transaction models for advanced applications. Morgan Kaufmann Publishers Inc., 1992, p. 610.
7. E.B. Moss, "Nested Transactions: An Approach to Reliable Distributed Computing," MIT, 1981.
8. H. Garcia-Molina, K. Salem, "Sagas," SIGMOD 87, 1987.
9. G. Weikum, H.-J. Schek, "Concepts and applications of multilevel transactions and open nested transactions," Database transaction models for advanced applications: 1992
10. C. Pu, G. E. Kaiser and N. C. Hutchinson., "Split-Transactions for Open-Ended Activities," VLDB, 1988.
11. Reuter, "ConTracts: A Means for Extending Control Beyond Transaction Boundaries," 3rd Int. Workshop on High Performance Transaction Systems, 1989.
12. A. Zhang, M. Nodine, B. Bhargava and O. Bukhres., "Ensuring relaxed atomicity for flexible transactions in multidatabase systems," ACM SIGMOD Record, 1994.
13. M. Younas, B. Eaglestone and R. Holton, "A formal treatment of a SACRED Protocol for Multidatabase Web Transactions," Database and Expert Systems Applications, vol. 1873, pp. 899-908, 2000.
14. OASIS, "Web Services Atomic Transaction,"http://docs.oasis- open.org/ws-tx/wsat/2006/06.
15. OASIS, "Web Services Coordination," http://docs.oasis-open.org/ ws-tx/wscoor/2006/06.
16. A. Cavalli, T. Cao, W. Mallouli, E. Martins, E. Sadovykh, S. Salva and F. Zaidi, "WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition," IEEE ICWS 2010.
17. J. Offutt, S. Liu, A. Abdurazik and P. Ammann., "Generating Test Data From State-based Specifications,"Journal of Software Testing, Verification and Reliability, vol. 13, pp. 25-53, 2003.
18. P. K. Chrysanthis and K. Ramamritham, "Synthesis of extended transaction models using ACTA," ACM Trans. Database Syst., vol. 19, pp. 450-491, 1994.
19. S. Bhiri, C. Godart and O. Perrin, "Transactional patterns for reliable web services compositions," Int. Conf. on Web Engineering, California, USA, 2006.
20. N. Gioldasis and S. Christodoulakis, "UTML: Unified Transaction Modeling Language," Int. Conf. on Web Information Systems Engineering 2002.
21. P. Hrastnik and W. Winiwarter, "Using advanced transaction meta-models for creating transaction-aware web service environments," International Journal of Web Information Systems, 2005.
22. R. Casado, J. Tuya and M. Younas, "Testing Long-Lived Web Services Transactions Using a Risk-Based Approach," Int. Conf.on Quality Software, 2010.
23. R. Lanotte, A. Maggiolo-Schettini, P. Milazzo and A. Troina, "Design and verification of long-running transactions in a timed framework," Science of Computer Programming, pp. 76-94, 2008.
24. M. Emmi and R. Majumdar, "Verifying Compensating Transactions," Int. Conf. on Verification, Model Checking, and Abstract Interpretation, 2007.
25. J. Li, H. Zh and J. He, "Specifying and Verifying Web Transactions," Int. Conf.on Formal Techniques for Networked and Distributed Systems, 2008.
26. W. Gaaloul, M. Rouchaded, C. Godart and M. Hauswirth., "Verifying composite service transactional behavior using event calculus," OTM On the move to meaningful internet systems, Vilamoura, Portugal, 2007.