Evaluating the effectiveness of the abstract transaction model in testing Web services transactions

Concurrency and Computation: Practice and Experience

Volumn 27, Issue 4, 2015, Pages 765-781

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

^a UNIVERSITY OF OVIEDO   (Spain)

^b OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

testing, failure detection, reliability; transactions; Web services

Indexed keywords

INTERNET PROTOCOLS; WEBSITES;

CONCRETE MODEL; FAILURE DETECTION; PERFORMANCE AND RELIABILITIES; PROTOTYPE SYSTEM; TEST CASE; TRANSACTION MODEL; TRANSACTIONS; WEB APPLICATION;

WEB SERVICES;

EID: 84923429681     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.2851     Document Type: Article

References (31)

1. Younas M, Chao K-M, Wang P, Huang C-L,. QoS-aware mobile service transactions in a wireless environment. Concurrency and Computation: Practice and Experience 2007; 19 (8): 1219-1236. DOI: 10.1002/cpe.1157.
2. OASIS. Business transaction protocol, 2004. (Available from: http://www.oasis-open.org/committees/tc-home.php?wg-abbrev=business-transaction [Accessed on 29 November 2011]).
3. OASIS. Web services business activity, 2009. (Available from: http://docs.oasis-open.org/ws-tx/wsba/2006/06 [Accessed on 29 November 2011]).
4. OASIS. Web services composite application framework, 2005. (Available from: http://www.oasis-open.org/committees/tc-home.php?wg-abbrev=ws-caf [Accessed on 29 November 2011]).
5. Canfora G, Penta M,. Service-oriented architectures testing: A survey. In Proceedings of the Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures. Springer-Verlag: Berlin, Germany, 2009; 78-105, DOI: 10.1007/978-3-540-95888-8-4.
6. Casado R, Tuya J, Younas M,. An abstract transaction model for testing the web services transactions. Proceedings of the IEEE International Conference on Web Services, Washington, USA, 2011; 730-731, DOI: 10.1109/ICWS.2011.98.
7. Casado R, Tuya J, Younas M,. Testing the reliability of web services transactions in cooperative applications. In Proceedings of the Symposium On Applied Computing (SAC). ACM: Riva del Garda, Trento, Italy, 2012; 743-748.
8. Jboss. Jboss Transactions, 2006. (Available from: http://www.jboss.org/jbosstm [Accessed on 29 November 2011]).
9. Elmagarmid AK,. Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers: San Francisco, CA, USA, 1992.
10. Moss EB,. Nested transactions: An approach to reliable distributed computing, Massachusetts Institute of Technology, Cambridge, MA, USA, 1981.
11. Garcia-Molina H, Salem K,. SAGAS. Proceedings of the SIGMOD 87, San Francisco, California, USA, 1987; 249-259, DOI: 10.1145/38713.38742.
12. Weikum G, Schek H-J,. Concepts and Applications of Multilevel Transactions and Open Nested Transactions. Morgan Kaufmann Publishers Inc.: San Francisco, CA, USA, 1992.
13. Pu C, Kaiser GE, Hutchinson NC,. Split-transactions for open-ended activities. In Proceedings of the 14th International Conference on Very Large Data Bases. Morgan Kaufmann Publishers Inc.: San Francisco, CA, USA, 1988; 26-37.
14. Reuter. ConTracts: A means for extending control beyond transaction boundaries. Proceedings of the 3rd International Workshop on High Performance Transaction Systems, Pacific Grove (Asilomar), California, 1989.
15. Zhang A, Nodine M, Bhargava B, Bukhres O,. Ensuring relaxed atomicity for flexible transactions in multidatabase systems. ACM SIGMOD Record 1994; 23 (2): 67-78. DOI: 10.1145/191839.191850.
16. Younas M, Eaglestone B, Holton R,. A formal treatment of a SACRED protocol for multidatabase web transactions. Database and Expert Systems Applications 2000; 1873: 899-908.
17. OASIS. Web services atomic transaction, 2009. (Available from: http://docs.oasis-open.org/ws-tx/wsat/2006/06 [Accessed on 29 November 2011]).
18. OASIS. Web services coordination, 2009. (Available from: http://docs.oasis-open.org/ws-tx/wscoor/2006/06 [Accessed on 29 November 2011]).
19. Cavalli A, Cao T-D, Mallouli W, Martins E, Sadovykh A, Salva S, Zaïdi F,. WebMov: A dedicated framework for the modelling and testing of web services composition. Proceedings of the IEEE International Conference on Web Services, Florida, USA, 2010; 377-384, DOI: 10.1109/ICWS.2010.24.
20. Offutt J, Liu S, Abdurazik A, Ammann P,. Generating test data from state-based specifications. Journal of Software Testing, Verification and Reliability 2003; 13 (13): 25-53. DOI: 10.1002/stvr.264.
21. GlassFish. JAX-WS, 2005. (Available from: http://jax-ws.java.net/ [Accessed on 29 Novemebr 2011]).
22. Chrysanthis PK, Ramamritham K,. Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems 1994; 19 (3): 450-491. DOI: 10.1145/185827.185843.
23. Bhiri S, Godart C, Perrin O,. Transactional patterns for reliable web services compositions. In Proceedings of the 6th International Conference on Web Engineering. ACM: Palo Alto, California, USA, 2006; 137-144, DOI: 10.1145/1145581.1145613.
24. Gioldasis N, Christodoulakis S,. UTML: Unified transaction modeling language. Proceedings of the The Third International Conference on Web Information Systems Engineering, Grand Hyatt, Singapore, 2002; 115-126, DOI: 10.1109/WISE.2002.1181649.
25. Hrastnik P, Winiwarter W,. Using advanced transaction meta-models for creating transaction-aware web service environments. International Journal of Web Information Systems 2005; 1 (2): 89-100. DOI: 10.1108/17440080580000086.
26. Casado R, Tuya J, Younas M,. Testing long-lived web services transactions using a risk-based approach. In Proceedings of the 10th International Conference on Quality Software. IEEE Computer Society: Washington, DC, USA, 2010; 337-340, DOI: 10.1109/QSIC.2010.46.
27. Casado R, Tuya J, Godart C,. Dependency-based criteria for testing web services transactional workflows. In Proceedings of the Next Generation on Web Services Practices, Salamanca, Spain, 2011; 74-79.
28. Lanotte R, Maggiolo-Schettini A, Milazzo P, Troina A,. Design and verification of long-running transactions in a timed framework. Science of Computer Programming 2008: 76-94.
29. Emmi M, Majumdar R,. Verifying compensating transactions. Proceedings of the International Conference Verification, Model Checking, and Abstract Interpretation, Nice, France, 2007; 29-43.
30. Li J, Zhu H, He J,. Specifying and verifying web transactions. Proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems, Tokyo, Japan, 2008; 149-168, DOI: 10.1007/978-3-540-68855-6-10.
31. Gaaloul W, Rouached M, Godart C, Hauswirth M,. Verifying composite service transactional behavior using event calculus. In Proceedings of the 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; 353-370, DOI: 10.1007/978-3-540-76848-7-23.