Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples

  • Cesare Bartolini
  • Antonia Bertolino
  • Eda Marchetti
  • Ioannis Parissis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5135)


Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attracting great attention. The standardization of BPEL as a composition language and of WSDL as a WS interface definition language has led researchers to investigate verification and validation techniques mainly focusing on the sequence of events in the composition, while minor attention has been paid to the validation of the data flow exchange. In this chapter we study the potential of using data flow modelling for testing composite WSs. After an exhaustive exploration of the issues on testing based on data-related models, we schematically settle future research issues on the perspectives opened by data flow-based validation and present examples for some of them, illustrated on the case study of a composite WS that we have developed, the Virtual Scientific Book Store.


Business Process Service Composition Service Orient Architecture Coverage Criterion Business Process Execution Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ActiveBPEL Community. ActiveBPEL community edition engine (2008), accessed 2008-03-12,
  2. 2.
    Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: Symbolic execution techniques for test purpose definition. In: Suzuki, K., Higashino, T., Hasegawa, T., Ulrich, A. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 266–282. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Bertolino, A., Frantzen, L., Polini, A., Tretmans, J.: Audition of web services for testing conformance to open specified protocols. In: Reussner, R., Stafford, J., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 1–25. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Bertolino, A., Polini, A.: The audition framework for testing web services interoperability. In: 31st EUROMICRO International Conference on Software Engineering and Advanced Applications, pp. 134–142 (2005)Google Scholar
  5. 5.
    BPMN. Business process modeling notation specification, Version 1.0 dtc/06-02-01 (2006)Google Scholar
  6. 6.
    Canfora, G., Penta, M.D.: Testing services and service-centric systems: challenges and opportunities. IEEE IT Professionnal 8(2), 10–17 (2006)CrossRefGoogle Scholar
  7. 7.
    Cao, H., Ying, S., Du, D.: Towards model-based verification of BPEL with model checking. In: Sixth International Conference on Computer and Information Technology (CIT 2006), Seoul, Korea, September 20-22, 2006, pp. 190–194 (2006)Google Scholar
  8. 8.
    Clarke, L.A., Podgurski, A., Richardson, D.J., Zeil, S.J.: A formal evaluation of data flow path selection criteria. IEEE Trans. Software Eng. 15(11), 1318–1332 (1989)CrossRefGoogle Scholar
  9. 9.
    Davenport, T.H., Short, J.E.: The new industrial engineering: Information technology and business process redesign. Sloan Management Review, 11–27 (1990)Google Scholar
  10. 10.
    Dwyer, M.B., Clarke, L.A.: Data flow analysis for verifying properties of concurrent programs. In: SIGSOFT FSE, pp. 62–75 (1994)Google Scholar
  11. 11.
    Eclipse Foundation. BPEL project,
  12. 12.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: ASE, pp. 152–163. IEEE Computer Society, Los Alamitos (2003)Google Scholar
  13. 13.
    Frantzen, L., Tretmans, J., Vries, R.d.: Towards model-based testing of web services. In: Polini, A. (ed.) International Workshop on Web Services - Modeling and Testing (WS-MaTe 2006), Palermo, Italy, June 9, 2006, pp. 67–82 (2006)Google Scholar
  14. 14.
    García-Fanjul, J., Tuya, J., de la Riva, C.: Generating test cases specifications for BPEL compositions of web services using SPIN. In: International Workshop on Web Services Modeling and Testing (WS-MaTe 2006) (2006)Google Scholar
  15. 15.
    IBM. IBM websphere business modeler,
  16. 16.
    Jiang, Y., Hou, S.-S., Shan, J.-H., Zhang, L., Xie, B.: Contract-based mutation for testing components. In: IEEE International Conference on Software Maintenance (2005)Google Scholar
  17. 17.
    Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. Research Report RZ-3678 (May 2007),
  18. 18.
    Marconi, A., Pistore, M., Traverso, P.: Specifying data-flow requirements for the automated composition of web services. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, India, September 11-15, 2006, pp. 147–156 (2006)Google Scholar
  19. 19.
    Moser, S., Martens, A., Gorlach, K., Amme, W., Godlinski, A.: Advanced verification of distributed ws-bpel business processes incorporating cssa-based data flow analysis. In: IEEE SCC, pp. 98–105. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  20. 20.
    Narayanan, S., McIlraith, S.: Analysis and simulation of web services. Computer Networks 42(5), 675–693 (2003)CrossRefzbMATHGoogle Scholar
  21. 21.
    OASIS WSBPEL Technical Committee. Web services business process execution language version 2.0 (2007),
  22. 22.
    Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating fuctional tests. Commun. ACM 31(6), 676–686 (1988)CrossRefGoogle Scholar
  23. 23.
    Sadiq, S.W., Orlowska, M.E., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. In: Database Technologies 2004, Proceedings of the Fifteenth Australasian Database Conference, ADC 2004, Dunedin, New Zealand, January 18-22, 2004, pp. 207–214 (2004)Google Scholar
  24. 24.
    Scheer, A.W., Abolhassan, F., Jost, W., Kirchner, M. (eds.): Business Process Excellence - ARIS in Practice. Springer, Heidelberg (2002)Google Scholar
  25. 25.
    Siblini, R., Mansour, N.: Testing web services. In: ACS/IEEE International Conference on Computer Systems and Applications (2005)Google Scholar
  26. 26.
    Taylor, R., Levine, D., Kelly, C.: Structural testing of concurrent programs. IEEE Transactions on Software Engineering 18(3), 206–215 (1992)CrossRefGoogle Scholar
  27. 27.
    Tsai, B.-Y., Stobart, S., Parrington, N.: Employing data flow testing on object-oriented classes. Software, IEE Proceedings 148(2), 56–64 (2001)CrossRefGoogle Scholar
  28. 28.
    Tsai, W.T., Bai, X., Paul, R., Feng, K., Yu, L.: Scenario-Based Modeling and Its Applications. In: IEEE WORDS (2002)Google Scholar
  29. 29.
    Tsai, W.T., Paul, R., Song, W., Cao, Z.: Coyote: an XML-based framework for web services testing. In: 7th IEEE International Symp. High Assurance Systems Eng (HASE 2002) (2002)Google Scholar
  30. 30.
    UDDI Spec Technical Committee. UDDI OASIS standard version 3.0.2 (2004),
  31. 31.
    UML2.0. Object management group (OMG). Unified Modeling Language: Superstructure, Version 2.0 formal/05-07-04 (2005)Google Scholar
  32. 32.
    W3C. XML path language (XPath) version 1.0,
  33. 33.
    Weiss, M., Esfandiari, B.: On feature interactions among web services. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), San Diego, California, USA, June 6-9, 2004, pp. 88–95 (2004)Google Scholar
  34. 34.
    Weiss, M., Esfandiari, B., Luo, Y.: Towards a classification of web service feature interactions. Computer Networks 51(2), 359–381 (2007)CrossRefzbMATHGoogle Scholar
  35. 35.
    World Wide Web Consortium. SOAP version 1.2 (2007),
  36. 36.
    World Wide Web Consortium. Web services description language (WSDL) version 2.0 (2007),
  37. 37.
    Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, North Carolina, USA, November 7-10, 2006, pp. 75–84 (2006)Google Scholar
  38. 38.
    Yang, Y., Tan, Q., Xiao, Y., Liu, F., Yu, J.: Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification. In: APWeb 2006, pp. 275–284 (2006)Google Scholar
  39. 39.
    Yourdon, E., Constantine, L.: Structured Design. Yourdon Press (1975)Google Scholar
  40. 40.
    Yuan, Y., Li, Z., Sun, W.: A graph-search based approach to BPEL4WS test generation. In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), Papeete, Tahiti, French Polynesia, October 28 - November 2 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Cesare Bartolini
    • 1
  • Antonia Bertolino
    • 1
  • Eda Marchetti
    • 1
  • Ioannis Parissis
    • 1
    • 2
  1. 1.ISTI - CNRPisa
  2. 2.Laboratoire d’Informatique de GrenobleGrenoble Cedex 9

Personalised recommendations