A Generic Framework for Testing the Web Services Transactions

  • Rubén Casado
  • Muhammad Younas
  • Javier Tuya


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.


  1. 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. 2.
    Bhiri, S., Godart, C., Perrin, O.: Transactional patterns for reliable web services compositions (2006)Google Scholar
  3. 3.
    Bhiri, S., Perrin, O., Godart, C.: Ensuring required failure atomicity of composite web services (2005)Google Scholar
  4. 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. 5.
    Canfora, G., Penta, M.: Service-Oriented Architectures Testing: A Survey, pp. 78–105. Springer-Verlag (2009)Google Scholar
  6. 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. 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. 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. 9.
    Casado, R., Tuya, J., Younas, M.: Testing the reliability of web services transactions in cooperative applications (2012)Google Scholar
  10. 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. 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. 12.
    Elmagarmid, A.K.: Database transaction models for advanced applications. Morgan Kaufmann Publishers (1992)Google Scholar
  13. 13.
    Emmi, M., Majumdar, R.: Verifying compensating transactions. In: International Conference Verification, Model Checking, and Abstract, Interpretation, pp. 29–43 (2007)Google Scholar
  14. 14.
    Gaaloul, W., Rouached, M., Godart, C., Hauswirth, M.: Verifying composite service transactional behavior using event calculus (2007)Google Scholar
  15. 15.
    Garcia-Molina, H., Salem, K.: Sagas (1987)Google Scholar
  16. 16.
    Gioldasis, N., Christodoulakis, S.: Utml: Unified transaction modeling language. In: The Third International Conference on Web Information Systems Engineering (2002)Google Scholar
  17. 17.
    GlassFish: Jax-ws (2005)Google Scholar
  18. 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. 19.
    Jboss: Jboss transactions (2006)Google Scholar
  20. 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. 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. 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. 23.
    Moss, E.: Nested transactions: An approach to reliable distributed computing. Massachusetts Institute of Technology (1981)Google Scholar
  24. 24.
    OASIS: Business transaction protocol (2004)Google Scholar
  25. 25.
    OASIS: Web services composite application framework (2005)Google Scholar
  26. 26.
    OASIS: Web services business process execution language v2.0 (2007)Google Scholar
  27. 27.
    OASIS: Web services coordination, (2007)
  28. 28.
    OASIS: Web services atomic transaction (2009)Google Scholar
  29. 29.
    OASIS: Web services business activity (2009)Google Scholar
  30. 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. 31.
    Pu, C., Kaiser, G.E., Hutchinson, N.C.: Split-transactions for open-ended activities (1988)Google Scholar
  32. 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. 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. 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. 35.
    Zhang, A., Nodine, M., Bhargava, B., Bukhres, O.: Ensuring relaxed atomicity for flexible transactions in multidatabase systems. ACM, SIGMOD Record (1994)Google Scholar

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  1. 1.Department of ComputingUniversity of OviedoAsturiasSpain
  2. 2.Department of Computing and Communication TechnologiesOxford Brookes UniversityOxfordUK

Personalised recommendations