L. Baresi and E. Dinitto, Test and analysis of web services, 2007.
DOI : 10.1007/978-3-540-72912-9

L. Baresi and S. Guinea, Towards Dynamic Monitoring of WS-BPEL Processes, Third International Conference of Service-Oriented Computing -ICSOC, pp.269-282, 2005.
DOI : 10.1007/11596141_21

T. Bellwood, S. Capell, L. Clement, J. Colgrave, M. J. Dovey et al., Universal description, discovery and integration specification (uddi) 3

D. Bertsekas and R. Gallager, Data Networks, 1992.

D. Bianculli and C. Ghezzi, Monitoring conversational web services. IW-SOSWE '07: 2nd international workshop on Service oriented software engineering, pp.15-21, 2007.

D. Box, D. Ehnebuske, G. Kakivaya, A. Layman, N. Mendelsohn et al., Simple object access protocol (soap) 1.1. Online: http://www, 2001.

S. Chandrasekaran, J. A. Miller, G. A. Silver, I. B. Arpinar, and A. P. Sheth, Performance Analysis and Simulation of Composite Web Services, Electronic Markets, vol.13, issue.2, 2003.
DOI : 10.1080/1019678032000067217

S. Chen, B. Yan, J. Zic, R. Liu, and A. Ng, Evaluation and Modeling of Web Services Performance, 2006 IEEE International Conference on Web Services (ICWS'06), 2006.
DOI : 10.1109/ICWS.2006.59

R. Chinnici, J. Moreau, A. Ryman, and S. Weerawarana, Web services description language (wsdl) version 2.0: Core language. Online: http://www

M. O. Cordier and S. Thi-'ebaux, Event-based diagnosis for evolutive systems, Proceedings of the Fifth International workshop on Principles of diagnosis(DX'94), pp.64-69, 1994.

M. Driss, Y. Jamoussi, J. Jézéquel, and H. H. Ghézala, A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications, 2008 Sixth European Conference on Web Services, 2008.
DOI : 10.1109/ECOWS.2008.19

URL : https://hal.archives-ouvertes.fr/inria-00457149

K. Fall and K. Varadhan, The ns manual Online

H. Foster, S. Uchitel, J. Magee, and J. Kramer, LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006.
DOI : 10.1145/1134285.1134408

M. Huhns and M. P. Singh, Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005.
DOI : 10.1109/MIC.2005.21

E. Mancini, U. Villano, M. Rak, and R. Torella, A Simulation-Based Framework for Autonomic Web Services, 11th International Conference on Parallel and Distributed Systems (ICPADS'05), pp.433-437, 2005.
DOI : 10.1109/ICPADS.2005.50

D. A. Menascé, QoS issues in Web services, IEEE Internet Computing, vol.6, issue.6, pp.72-75, 2002.
DOI : 10.1109/MIC.2002.1067740

G. J. Myers, Art of Software Testing, 1979.
DOI : 10.1002/9781119202486

S. Narayanan and S. A. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002.
DOI : 10.1145/511446.511457

M. Nikolaidou and D. Angnostopoulos, An applicationoriented approach for distributed system modeling and simulation, ICDCS'01: Proceedings of the The 21st International Conference on Distributed Computing Systems, p.165, 2001.
DOI : 10.1109/icdsc.2001.918945

L. J. Osterweil, Strategic directions in software quality, ACM Computing Surveys, vol.28, issue.4, pp.738-750, 1996.
DOI : 10.1145/242223.242288

M. P. Papazoglou, Service-oriented computing: concepts, characteristics and directions, Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat. No.03CH37417), 2003.
DOI : 10.1109/WISE.2003.1254461

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Pistore and P. Traverso, Assumption-based composition and monitoring of web services. Test and Analysis of Web Services, pp.307-335, 2007.

M. Rouached, O. Perrin, and C. Godart, Towards formal verification of web service composition. Business Process Management, pp.257-273, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00114012

G. Salan, L. Bordeaux, and M. Schaerf, Describing and reasoningon web services using process algebra, ICWS '04: Proceedings of the IEEE International Conference on Web Services, p.43, 2004.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

G. Spanoudakis and K. Mahbub, Requirements monitoring for service-based systems: towards a framework based on event calculus, Proceedings. 19th International Conference on Automated Software Engineering, 2004., pp.379-384, 2004.
DOI : 10.1109/ASE.2004.1342769

L. Zeng, B. Benatallah, A. H. Ngu, M. Dumas, J. Kalagnanam et al., QoS-aware middleware for Web services composition, IEEE Transactions on Software Engineering, vol.30, issue.5, pp.311-327, 2004.
DOI : 10.1109/TSE.2004.11