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

F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi et al., Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing, vol.6, issue.2, pp.86-93, 2002.
DOI : 10.1109/4236.991449

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), pp.3-12, 2003.
DOI : 10.1109/WISE.2003.1254461

J. O. Sullivan, D. Edmond, and A. Hofstede, What's in a Service? Towards Accurate Description of Non-functional Service properties, Distributed and Parallel Databases, pp.117-133, 2002.

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

J. Cardoso, J. Miller, A. Sheth, and J. Arnold, Quality of service for workflows and web service processes, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.3, pp.281-308, 2004.
DOI : 10.1016/j.websem.2004.03.001

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

M. Cordier and S. Thiébaux, Event-based Diagnosis for Evolutive Systems, Proceedings of DX '94: International workshop on Principles of diagnosis, pp.64-69, 1994.

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

L. Baresi and E. Dinitto, Test and Analysis of Web Services, Elisabetta, 2007.
DOI : 10.1007/978-3-540-72912-9

S. Nakajima, Model Checking Verification for Reliable Web Service, Proceedings of OOPSLA '02: Workshop on Object-Oriented Web Services, p.20, 2002.

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and Reasoning on Web Services using Process Alge bra, Proceedings of ICWS '04: IEEE International Conference on Web Services, p.43, 2004.

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

L. J. Osterweil, Formal Analysis of Web Service Compositions, 2007.

R. Kazhamiakin, M. Pistore, and L. Santuari, Analysis of communication models in web service compositions, Proceedings of the 15th international conference on World Wide Web , WWW '06, pp.267-276, 2006.
DOI : 10.1145/1135777.1135819

A. Keller and H. Ludwig, The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services, Journal of Network and Systems Management, vol.11, issue.1, pp.57-81, 2003.
DOI : 10.1023/A:1022445108617

H. Ludwig, A. Dan, and R. Kearney, CREMONA: An Architecture and Library for Creation and Monitoring of WS-Agreements, Proceedings of ICSOC '04: IEEE International Conference on Service Oriented Computing, pp.65-74, 2004.

F. Curbera, M. J. Duftler, R. Khalaf, W. Nagy, N. Mukhi et al., Colombo: Lightweight middleware for service-oriented computing, IBM Systems Journal, vol.44, issue.4, pp.799-820, 2005.
DOI : 10.1147/sj.444.0799

L. Baresi and S. Guinea, Towards Dynamic Monitoring of WS-BPEL Processes, Proceedings of ICSOC '05: International Conference of Service-Oriented Computing, pp.269-282, 2005.
DOI : 10.1007/11596141_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.4543

L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini, A Timed Extension of WSCoL, IEEE International Conference on Web Services (ICWS 2007), pp.663-670, 2007.
DOI : 10.1109/ICWS.2007.25

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, 2010.
DOI : 10.1145/511446.511457

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

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

M. Nikolaidou and D. Angnostopoulos, An Applicationoriented Approach for Distributed System Modeling and Simulation, Proceedings of ICDCS '01: International Conference on Distributed Computing Systems, p.165, 2001.

M. Driss, Y. Jamoussi, H. Hajjami-ben, and . Ghézala, QoS testing of service-based applications, 2008 3rd International Design and Test Workshop, pp.45-50, 2008.
DOI : 10.1109/IDT.2008.4802463
URL : https://hal.archives-ouvertes.fr/inria-00468234

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), pp.437-444, 2006.
DOI : 10.1109/ICWS.2006.59

D. Bertsekas and R. Gallager, Data Networks, Business Process Execution Language for Web Services 2.0, pp.978-978, 1992.

M. Keidl and A. Kemper, Towards context-aware adaptable web services, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters , WWW Alt. '04, pp.55-65, 2004.
DOI : 10.1145/1013367.1013378
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.6744

M. Driss, Y. Jamoussi, J. M. Jézéquel, H. Hajjami-ben, and . Ghézala, A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications, 2008 Sixth European Conference on Web Services, pp.73-78, 2008.
DOI : 10.1109/ECOWS.2008.19
URL : https://hal.archives-ouvertes.fr/inria-00457149

L. Zeng, B. Benatallah, A. 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
DOI : 10.1109/TSE.2004.11

C. Rolland and N. Prakash, Bridging the Gap Between Organisational Needs and ERP Functionality, Requirements Engineering, vol.5, issue.3, pp.180-193, 2000.
DOI : 10.1007/PL00010350
URL : https://hal.archives-ouvertes.fr/hal-00707095