A framework to test advanced web services transactions

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011

Volumn , Issue , 2011, Pages 443-446

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

^a UNIVERSITY OF OVIEDO   (Spain)

^b OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

SOA testing; Web service testing; web service transaction

Indexed keywords

CONCEPTUAL FRAMEWORKS; DISTRIBUTED APPLICATIONS; RISK-BASED; SOA TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE RELIABILITY; SOFTWARE TESTING; USER INTERFACES; VERIFICATION;

WEB SERVICES;

EID: 79958726154     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2011.44     Document Type: Conference Paper

References (21)

1. M. Younas, K. Chao, C. Lo, and Y. Li, "An Efficient Transaction Commit Protocol for Composite Web Services," International Conference on Advanced Information Networking and Applications (2006).
2. G. Canfora, and M. Penta, "Service-Oriented Architectures Testing: A Survey," Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures, Springer-Verlag, 2009, pp. 78-105.
3. 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 (2008) 76-94.
4. M. Emmi, and R. Majumdar, "Verifying Compensating Transactions," International Conference Verification, Model Checking, and Abstract Interpretation (2007).
5. J. Li, H. Zhu, and J. He, "Specifying and Verifying Web Transactions," International conference on Formal Techniques for Networked and Distributed Systems (2008).
6. W. Gaaloul, M. Rouached, C. Godart, and M. Hauswirth, "Verifying composite service transactional behavior using event calculus," Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I, Springer-Verlag, Vilamoura, Portugal, 2007, pp. 353-370.
7. J. Gray, "Notes on Data Base Operating Systems, Operating Systems, An Advanced Course," Springer-Verlag, 1978, pp. 393-481.
8. M. Kaufmann, "Database Transaction Models for Advanced Applications".
9. E.B. Moss, "Nested Transactions: An Approach to Reliable Distributed Computing," Massachusetts Institute of Technology (1981).
10. H. Garcia-Molina, and K. Salem, "Sagas," Proc. SIGMOD 87 (1987) 249-259.
11. R. Casado, and J. Tuya, "Testing Transactions in Service Oriented Architectures," International Conference on Web Engineering DC, San Sebastian, Spain, 2009.
12. OASIS, "Business Transaction Protocol," http://www.oasisopen. org/committees/tchome.php?wg-abbrev=businesstransaction.
13. OASIS, "Web Services Composite Application Framework," http://www.oasis-open.org/committees/tc-home.php?wgabbrev=ws-caf.
14. OASIS, "Web Services Atomic Transaction," http://docs. oasisopen.org/ws-tx/wstx-wsat-1.1-spec/wstx-wsat-1.1-spec.html.
15. OASIS, "Web Services Business Activity," http://docs.oasisopen. org/ws-tx/wstx-wsba-1.1-spec-errata-os.pdf.
16. OASIS, "Web Services Coordination," http://docs.oasisopen.org/ ws-tx/wstx-wscoor-1.1-spec-errata-os/wstx-wscoor-1.1-spec-errata-os.html.
17. R. Casado, J. Tuya, and M. Younas, "Specifying and testing recoverability requirements in WS-BusinessActivity transactions," Jornadas Cientifico-Tecnicas en Servicios Web y SOA, Valencia, Spain, 2010.
18. R. Casado, J. Tuya, and M. Younas, "Testing Long-Lived Web Services Transactions Using a Risk-Based Approach," Proceedings of the 2010 10th International Conference on Quality Software, IEEE Computer Society, 2010, pp. 337-340.
19. W. Vesley, F. Goldberg, N. Roberts, and D. Haasl, "Fault Tree handbook," U.S. Nuclear Regulatory Commission, 1981.
20. S. Bhiri, C. Godart, and O. Perrin, "Transactional patterns for reliable web services compositions," Proceedings of the 6th international conference on Web engineering, ACM, Palo Alto, California, USA, 2006, pp. 137-144.
21. Jboss, "Jbosss Transaction," http://jboss.org/jbosstm, 2010