Test and analysis of web services, 2007. ,
DOI : 10.1007/978-3-540-72912-9
Towards Dynamic Monitoring of WS-BPEL Processes, Third International Conference of Service-Oriented Computing -ICSOC, pp.269-282, 2005. ,
DOI : 10.1007/11596141_21
Universal description, discovery and integration specification (uddi) 3 ,
Data Networks, 1992. ,
Monitoring conversational web services. IW-SOSWE '07: 2nd international workshop on Service oriented software engineering, pp.15-21, 2007. ,
Simple object access protocol (soap) 1.1. Online: http://www, 2001. ,
Performance Analysis and Simulation of Composite Web Services, Electronic Markets, vol.13, issue.2, 2003. ,
DOI : 10.1080/1019678032000067217
Evaluation and Modeling of Web Services Performance, 2006 IEEE International Conference on Web Services (ICWS'06), 2006. ,
DOI : 10.1109/ICWS.2006.59
Web services description language (wsdl) version 2.0: Core language. Online: http://www ,
Event-based diagnosis for evolutive systems, Proceedings of the Fifth International workshop on Principles of diagnosis(DX'94), pp.64-69, 1994. ,
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
The ns manual Online ,
LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006. ,
DOI : 10.1145/1134285.1134408
Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005. ,
DOI : 10.1109/MIC.2005.21
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
QoS issues in Web services, IEEE Internet Computing, vol.6, issue.6, pp.72-75, 2002. ,
DOI : 10.1109/MIC.2002.1067740
Art of Software Testing, 1979. ,
DOI : 10.1002/9781119202486
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
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
Strategic directions in software quality, ACM Computing Surveys, vol.28, issue.4, pp.738-750, 1996. ,
DOI : 10.1145/242223.242288
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=10.1.1.323.9432
Assumption-based composition and monitoring of web services. Test and Analysis of Web Services, pp.307-335, 2007. ,
Towards formal verification of web service composition. Business Process Management, pp.257-273, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00114012
Describing and reasoningon web services using process algebra, ICWS '04: Proceedings of the IEEE International Conference on Web Services, p.43, 2004. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626
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
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