Skip to main content

Observability and Controllability Issues in Conformance Testing of Web Service Compositions

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNCCN,volume 5826)


We propose a model-based black-box testing approach to test conformance of Web Service Compositions (WSC). When a WSC under test makes use of implementations of Web Services, two situations may occur: either communications between the WSC and the Web Services are observable or hidden internal actions. We show by means of an example how to generate test cases whose verdicts are provided with explanations taking into account the status of the Web Services.


  • Conformance testing
  • Web Service composition
  • observability and controllability
  • verdict testing report


  1. Bentakouk, L., Poizat, P., Zaïdi, F.: A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems. In: Núñez, M., et al. (eds.) TESTCOM/FATES 2009. LNCS, vol. 5826, pp. 16–32. Springer, Heidelberg (2009); Long version as technical report of LRI, University of Paris-Sud

    Google Scholar 

  2. Escobedo, J., Le Gall, P., Gaston, C., Cavalli, A.: Examples of testing scenarios for web service composition. Technical Report 09003_LOR, TELECOM & Management SudParis, 22 pages (2009),

  3. Alves, A., et al.: Web Services Business Process Execution Language Version 2.0 (April 2007),

  4. Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic Execution Techniques for Test Purpose Definition. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 1–18. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Escobedo, J.P., Gaston, C., Le Gall, P., Cavalli, A. (2009). Observability and Controllability Issues in Conformance Testing of Web Service Compositions. In: Núñez, M., Baker, P., Merayo, M.G. (eds) Testing of Software and Communication Systems. FATES TestCom 2009 2009. Lecture Notes in Computer Science, vol 5826. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-05030-5

  • Online ISBN: 978-3-642-05031-2

  • eBook Packages: Computer ScienceComputer Science (R0)