Skip to main content
SpringerLink
Log in

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

  • Chapter
Architecting Dependable Systems V

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5135))

Abstract

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.

This research has been partially supported by ART DECO (Adaptive infRasTructure for DECentralized Organizations), an Italian FIRB (Fondo per gli Investimenti della Ricerca di Base) 2005 Project, and by TAROT (Training And Research On Testing), a Marie Curie Research Training Network.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ActiveBPEL Community. ActiveBPEL community edition engine (2008), accessed 2008-03-12, http://www.activevos.com/community-open-source.php

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. BPMN. Business process modeling notation specification, Version 1.0 dtc/06-02-01 (2006)

    Google Scholar 

  6. Canfora, G., Penta, M.D.: Testing services and service-centric systems: challenges and opportunities. IEEE IT Professionnal 8(2), 10–17 (2006)

    Article  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. 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. Eclipse Foundation. BPEL project, http://www.eclipse.org/bpel/

  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. 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. 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. IBM. IBM websphere business modeler, http://www-306.ibm.com/software/integration/wbimodeler/

  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. Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. Research Report RZ-3678 (May 2007), http://www.zurich.ibm.com/~koe/papiere/rz3678.pdf

  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. 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. Narayanan, S., McIlraith, S.: Analysis and simulation of web services. Computer Networks 42(5), 675–693 (2003)

    Article  MATH  Google Scholar 

  21. OASIS WSBPEL Technical Committee. Web services business process execution language version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf

  22. Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating fuctional tests. Commun. ACM 31(6), 676–686 (1988)

    Article  Google Scholar 

  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. Scheer, A.W., Abolhassan, F., Jost, W., Kirchner, M. (eds.): Business Process Excellence - ARIS in Practice. Springer, Heidelberg (2002)

    Google Scholar 

  25. Siblini, R., Mansour, N.: Testing web services. In: ACS/IEEE International Conference on Computer Systems and Applications (2005)

    Google Scholar 

  26. Taylor, R., Levine, D., Kelly, C.: Structural testing of concurrent programs. IEEE Transactions on Software Engineering 18(3), 206–215 (1992)

    Article  Google Scholar 

  27. Tsai, B.-Y., Stobart, S., Parrington, N.: Employing data flow testing on object-oriented classes. Software, IEE Proceedings 148(2), 56–64 (2001)

    Article  Google Scholar 

  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. 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. UDDI Spec Technical Committee. UDDI OASIS standard version 3.0.2 (2004), http://www.oasisopen.org/committees/uddi-spec/doc/spec/v3/uddi-v3.0.220041019.htm

  31. UML2.0. Object management group (OMG). Unified Modeling Language: Superstructure, Version 2.0 formal/05-07-04 (2005)

    Google Scholar 

  32. W3C. XML path language (XPath) version 1.0, http://www.w3.org/TR/xpath

  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. Weiss, M., Esfandiari, B., Luo, Y.: Towards a classification of web service feature interactions. Computer Networks 51(2), 359–381 (2007)

    Article  MATH  Google Scholar 

  35. World Wide Web Consortium. SOAP version 1.2 (2007), http://www.w3.org/TR/soap/

  36. World Wide Web Consortium. Web services description language (WSDL) version 2.0 (2007), http://www.w3.org/TR/wsdl20/

  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. 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. Yourdon, E., Constantine, L.: Structured Design. Yourdon Press (1975)

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. ISTI - CNR, Via Moruzzi 1, 56124, Pisa

    Cesare Bartolini, Antonia Bertolino, Eda Marchetti & Ioannis Parissis

  2. Laboratoire d’Informatique de Grenoble, BP 53, 38041, Grenoble Cedex 9

    Ioannis Parissis

Authors
  1. Cesare Bartolini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonia Bertolino
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eda Marchetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ioannis Parissis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rogério de Lemos Felicita Di Giandomenico Cristina Gacek Henry Muccini Marlon Vieira

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I. (2008). Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. In: de Lemos, R., Di Giandomenico, F., Gacek, C., Muccini, H., Vieira, M. (eds) Architecting Dependable Systems V. Lecture Notes in Computer Science, vol 5135. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85571-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85571-2_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85570-5

  • Online ISBN: 978-3-540-85571-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation