Timed Conformance Testing for Orchestrated Service Discovery

  • Jose Pablo Escobedo
  • Christophe Gaston
  • Pascale Le Gall
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7253)


Orchestrations are systems deployed on the Internet where there is a central component (called orchestrator) coordinating other components (called Web services), pre-existing to the orchestration design phase. Web services are made available through repositories on the Internet to orchestration designers. Service discovery refers to the activity of identifying Web services offered by third parties. We propose an approach to discover Web services by taking into account the intended behaviors of Web services as they can be inferred from the orchestrator specifications. Web services are tested with respect to those behaviors to decide whether or not they can be selected. Specifications of orchestrators are Timed Input/Output Symbolic Transition Systems. Web service intended behaviors are elicited by means of symbolic execution and projection techniques. Those behaviors can be used as test purposes for our timed symbolic conformance testing algorithm.


Web service discovery orchestrations conformance testing timed testing symbolic execution 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    De Angelis, F., Polini, A., De Angelis, G.: A Counter-Example Testing Approach for Orchestrated Services. In: Intl. Conf. Software Testing, Verification and Validation (ICST), pp. 373–382. IEEE Computer Society (2010)Google Scholar
  3. 3.
    Bentakouk, L., Poizat, P., Zaïdi, F.: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. In: Núñez, M., Baker, P., Merayo, M.G. (eds.) TESTCOM/FATES 2009. LNCS, vol. 5826, pp. 16–32. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Bertrand, N., Jéron, T., Stainer, A., Krichen, M.: Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 96–111. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Briones, L.B., Brinksma, E.: A Test Generation Framework for quiescent Real-Time Systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64–78. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Dong, J.S., Liu, Y., Sun, J., Zhang, X.: Verification of Computation Orchestration Via Timed Automata. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 226–245. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Dyaz, G., Cambronero, M.E., Pardo, J.J., Valero, V., Cuartero, F.: Automatic generation of correct web services choreographies and orchestrations with model checking techniques. In: Advanced Intl. Conf. on Internet and Web Applications and Services (2006)Google Scholar
  8. 8.
    Escobedo, J.P., Le Gall, P., Gaston, C., Cavalli, A.: Testing web service orchestrators in context: a symbolic approach. In: Proc. of Software Engineering Formal Methods (SEFM). IEEE Computer Society (2010)Google Scholar
  9. 9.
    Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. OASIS (April 2007),
  10. 10.
    Faivre, A., Gaston, C., Le Gall, P.: Symbolic Model Based Testing for Component Oriented Systems. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TESTCOM/FATES 2007. LNCS, vol. 4581, pp. 90–106. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Frantzen, L., Tretmans, J.: Model-Based Testing of Environmental Conformance of Components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 1–25. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1–15. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Gortmaker, J., Janssen, M., Wagenaar, R.: The advantages of web service orchestration in perspective. In: Intl. Conf. on Electronic Commerce (ICEC), pp. 506–515. ACM (2004)Google Scholar
  15. 15.
    Guermouche, N., Godart, C.: Asynchronous Timed Web Service-Aware Choreography Analysis. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 364–378. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  16. 16.
    Kazhamiakin, R., Pandy, R., Pistore, M.: Timed modelling and analysis in web service compositions. In: Intl. Conf. on Availability, Reliability and Security, ARES (2006)Google Scholar
  17. 17.
    Krichen, M., Tripakis, S.: Black-Box Conformance Testing for Real-Time Systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109–126. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  18. 18.
    Krummenacher, R., Hepp, M., Polleres, A., Bussler, C., Fensel, D.: WWW or What Is Wrong with Web services. In: IEEE European Conf. on Web Services (ECOWS), pp. 235–243 (2005)Google Scholar
  19. 19.
    Peltz, C.: Web services orchestration and choreography. Computer, 46–52 (2003)Google Scholar
  20. 20.
    Pilioura, T., Tsalgatidou, A., Batsakis, R.: Using wsdl/uddi and daml-s in web service discovery. In: WWW 2003 Workshop on E-Services and the Semantic Web (2003)Google Scholar
  21. 21.
    Schmaltz, J., Tretmans, J.: On Conformance Testing for Timed Systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 250–264. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  22. 22.
    Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)zbMATHGoogle Scholar
  23. 23.
    van der Bijl, M., Rensink, A., Tretmans, J.: Compositional Testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86–100. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jose Pablo Escobedo
    • 1
  • Christophe Gaston
    • 1
  • Pascale Le Gall
    • 2
  1. 1.CEA, LI STGif-sur-YvetteFrance
  2. 2.Laboratoire MAS, Grande Voie des VignesChâtenay-MalabryFrance

Personalised recommendations