Skip to main content
SpringerLink
Log in
Book cover

Advanced Web Services pp 29–49Cite as

A Generic Framework for Testing the Web Services Transactions

  • Chapter
  • First Online:

Abstract

This chapter focuses on web services transactions which support creating robust web services applications by guaranteeing that their execution is correct and the data sources are consistent. More specifically, it investigates into the testing of such transactions which has not received proper attention from the current research. It presents a generic framework for testing different models and standards of web services transactions. The framework is implemented as a prototype system using the case study of Jboss Transactions and is applied to test the predominant web services models and standards such as Web Services Business Activity (WS-BA). The results show that the framework automatically generates test cases and detects possible faults or failures during the processing of web services transactions running under different model and standards.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Alrifai, M., Dolog, P., Balke, W.T., Nejdl, W.: Distributed management of concurrent web service transactions. Services Computing, IEEE Transactions on 2(4), 289–302 (2009)

    Google Scholar 

  2. Bhiri, S., Godart, C., Perrin, O.: Transactional patterns for reliable web services compositions (2006)

    Google Scholar 

  3. Bhiri, S., Perrin, O., Godart, C.: Ensuring required failure atomicity of composite web services (2005)

    Google Scholar 

  4. Bozkurt, M., Harman, M., Hassoun, Y.: Testing web services: A survey. Tech. rep., Department of ComputerScience, King’s College London (2010)

    Google Scholar 

  5. Canfora, G., Penta, M.: Service-Oriented Architectures Testing: A Survey, pp. 78–105. Springer-Verlag (2009)

    Google Scholar 

  6. Casado, R., Tuya, J., Godart, C.: Dependency-based criteria for testing web services transactional workflows. In: Next Generation on Web Services Practices, pp. 74–79. IEEE (2011)

    Google Scholar 

  7. Casado, R., Tuya, J., Younas, M.: Testing long-lived web services transactions using a risk-based approach. In: 10th International Conference on Quality Software, pp. 337–340. IEEE Computer Society, 1849260 (2010)

    Google Scholar 

  8. Casado, R., Tuya, J., Younas, M.: Evaluating the effectiveness of the abstract transaction model in testing web services transactions. Concurrency and Computation: Practice and Experience pp. n/a–n/a (2012)

    Google Scholar 

  9. Casado, R., Tuya, J., Younas, M.: Testing the reliability of web services transactions in cooperative applications (2012)

    Google Scholar 

  10. Cavalli, A., Cao, T.D., Mallouli, W., Martins, E., Sadovykh, A., Salva, S., Zadi, F.: Webmov: A dedicated framework for the modelling and testing of web services composition. In: IEEE International Conference on Web Services (2010)

    Google Scholar 

  11. Chrysanthis, P.K., Ramamritham, K.: Synthesis of extended transaction models using acta. ACM Trans. Database Syst. 19(3), 450–491 (1994)

    Google Scholar 

  12. Elmagarmid, A.K.: Database transaction models for advanced applications. Morgan Kaufmann Publishers (1992)

    Google Scholar 

  13. Emmi, M., Majumdar, R.: Verifying compensating transactions. In: International Conference Verification, Model Checking, and Abstract, Interpretation, pp. 29–43 (2007)

    Google Scholar 

  14. Gaaloul, W., Rouached, M., Godart, C., Hauswirth, M.: Verifying composite service transactional behavior using event calculus (2007)

    Google Scholar 

  15. Garcia-Molina, H., Salem, K.: Sagas (1987)

    Google Scholar 

  16. Gioldasis, N., Christodoulakis, S.: Utml: Unified transaction modeling language. In: The Third International Conference on Web Information Systems Engineering (2002)

    Google Scholar 

  17. GlassFish: Jax-ws (2005)

    Google Scholar 

  18. Hrastnik, P., Winiwarter, W.: Using advanced transaction meta-models for creating transaction-aware web service environments. International Journal of Web Information Systems (2005)

    Google Scholar 

  19. Jboss: Jboss transactions (2006)

    Google Scholar 

  20. Joyce El, H.: Tqos: Transactional and qos-aware selection algorithm for automatic web service composition. IEEE Transactions on Services Computing 3, 73–85 (2010)

    Google Scholar 

  21. Lanotte, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: Design and verification of long-running transactions in a timed framework. Science of Computer Programming pp. 76–94 (2008)

    Google Scholar 

  22. Li, J., Zhu, H., He, J.: Specifying and verifying web transactions. In: International conference on Formal Techniques for Networked and Distributed Systems, pp. 149–168 (2008)

    Google Scholar 

  23. Moss, E.: Nested transactions: An approach to reliable distributed computing. Massachusetts Institute of Technology (1981)

    Google Scholar 

  24. OASIS: Business transaction protocol (2004)

    Google Scholar 

  25. OASIS: Web services composite application framework (2005)

    Google Scholar 

  26. OASIS: Web services business process execution language v2.0 (2007)

    Google Scholar 

  27. OASIS: Web services coordination, http://docs.oasis-open.org/ws-tx/wscoor/2006/06 (2007)

  28. OASIS: Web services atomic transaction (2009)

    Google Scholar 

  29. OASIS: Web services business activity (2009)

    Google Scholar 

  30. Offutt, J., Liu, S., Abdurazik, A., Ammann, P.: Generating test data from state-based specifications. Journal of Software Testing, Verification and Reliability 13(13), 25–53 (2003)

    Google Scholar 

  31. Pu, C., Kaiser, G.E., Hutchinson, N.C.: Split-transactions for open-ended activities (1988)

    Google Scholar 

  32. Reuter: Contracts: A means for extending control beyond transaction boundaries. Proceedings of the 3rd International Workshop on High Performance Transaction Systems (1989)

    Google Scholar 

  33. Weikum, G., Schek, H.J.: Concepts and applications of multilevel transactions and open nested transactions. Database transaction models for advanced applications. Morgan Kaufmann Publishers Inc. (1992)

    Google Scholar 

  34. Younas, M., Eaglestone, B., Holton, R.: A formal treatment of a sacred protocol for multidatabase web transactions. Database and Expert Systems Applications 1873, 899–908 (2000)

    Google Scholar 

  35. Zhang, A., Nodine, M., Bhargava, B., Bukhres, O.: Ensuring relaxed atomicity for flexible transactions in multidatabase systems. ACM, SIGMOD Record (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, University of Oviedo, Asturias, Spain

    Rubén Casado & Javier Tuya

  2. Department of Computing and Communication Technologies, Oxford Brookes University, Oxford, UK

    Muhammad Younas

Authors
  1. Rubén Casado
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Muhammad Younas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Javier Tuya
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rubén Casado .

Editor information

Editors and Affiliations

  1. School of Computer Science and Information Technology, RMIT University, Melbourne, Victoria, Australia

    Athman Bouguettaya

  2. Engineering Auto-ID Lab, University of Adelaide School of Computer Science, Adelaide, South Australia, Australia

    Quan Z. Sheng

  3. dell'Informazione, Università di Trento Dipto. Ingegneria e Scienza, Povo, Trento, Italy

    Florian Daniel

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer Science+Business Media New York

About this chapter

Cite this chapter

Casado, R., Younas, M., Tuya, J. (2014). A Generic Framework for Testing the Web Services Transactions. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds) Advanced Web Services. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-7535-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4614-7535-4_2

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4614-7534-7

  • Online ISBN: 978-1-4614-7535-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation