L. Références, C. Maesano, X. L. Bernard, F. Galles, M. R. Salles et al., Web Services Definition Language (WSDL) 1.1Universal Description, Discovery, and Integration (UDDI) -Version 3 UDDI Spec Technical Committee Draft, http://uddi.org/pubs/uddi_v3.htm Services Web avec J2EE et .NET (Conception et Implementation): Edition EyrollesMetakernels and fault containment wrappersBasic Concepts and Taxonomy of Dependable and Secure ComputingDependable Computing: Concepts, limits, challengesDesign of Fault-Tolerant ComputersFault Tolerance -Principles and practice, Simple Object Access Protocol (SOAP) 1.2 29th IEEE International Symposium on Fault-Tolerant Computing (FTCS- 29), Madison (USA) 25th IEEE International Symposium on Fault-Tolerant Computing Fall Joint Computer Conférence, pp.22-29, 1967.

F. Leymann, Web Services Flow Language (WSFL 1.0)," IBM Software Group, www-3.ibm.com/software/solutions, 2001.

C. Joyce, J. Kaler, D. Klein, M. Langworthy, A. Little et al., Web Services Coordination (WSCoordination), Version 1.0, WS-Transaction, 2004.

. Macromedia, Java Web Services Developer Pack (Java WSDP) Version 2.0, http://java.sun.com/webservices/jwsdp/index.jspInternet Information Services Microsoft Windows Server, BEA WebLogic BEA SystemOracle. Oracle, vol.7282932, issue.8, 1997.

A. Asaduzzaman, Building XML Web Services with PHP NuSOAP Dev Articles, 2003.

T. Dierks and C. Allen, The TLS Protocol ---Version 1.0. ," IETF RFC 2246, 1999.
DOI : 10.17487/rfc2246

S. Kent and R. Atkinson, IPSEC -Security Architecture for the Internet Protocol " RFC 2401 [38] IBM and Micorosft, 1998.

P. Koopman and J. Devale, Comparing the Robutness of POSIX Operatng Systems, 29th Annual International Symposium on Fault-Tolerant Computing, 1999.

J. Arlat, J. Fabre, M. Rodriguez, and F. Salles, Dependability of COTS microkernel-based systems, IEEE Transactions on Computers, vol.51, issue.2, pp.138-163, 2002.
DOI : 10.1109/12.980005

E. Marsden, J. Fabre, and J. Arlat, Dependability of CORBA systems: service characterization by fault injection, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings., pp.276-285, 2002.
DOI : 10.1109/RELDIS.2002.1180198

E. Marsden, Caractérisation de la sûreté de fonctionnement de systemes à base d'intergiciel.," in INP Toulouse, 2004.

N. Looker, M. Munro, and J. Xu, WS-FIT: a tool for dependability analysis of web services, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004., pp.28-30, 2004.
DOI : 10.1109/CMPSAC.2004.1342690

N. Looker and J. Xu, Assessing the dependability of OGSA middleware by fault injection, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings., pp.293-302, 2003.
DOI : 10.1109/RELDIS.2003.1238079

N. Looker, L. Burd, S. Drummond, J. Xu, and M. Munro, Pedagogic Data as a Basis for Web Service Fault Models, IEEE International Workshop on Service-Oriented System Engineering (SOSE'05), 2005.
DOI : 10.1109/SOSE.2005.28

D. Cotroneo, C. D. Flora, and S. Russo, Improving Dependability of Service Oriented Architectures for Pervasive Computing, The Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2003.

A. Gorbenko, V. Kharchenko, P. Popov, A. Romanovsky, and A. Boyarchuk, Development of Dependable Web Services out of Undependable Web Components, Schoolof Computing Science, 2004.

L. Silva, H. Madeira, and J. G. Silva, Software Aging and Rejunevation in a SOAPbased Server, Proceedings of IEEE Network Computing and Applications, 2006.

M. Tuecke and . Xu, Web Services Agreement Specification (WS-Agreement), 2004.

M. Yu-jie, C. Jian, Z. Shen-sheng, and Z. Jian-hong, Interactive Web service choicemaking based on extended QoS model, Proceedings of the 2005 The Fifth International Conference on Computer and InformationTechnology (CIT'05), pp.1130-1134, 2005.

M. Merzbacher and D. Patterson, Measuring end-user availability on the Web: practical experience, Proceedings International Conference on Dependable Systems and Networks, 2002.
DOI : 10.1109/DSN.2002.1028932

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

S. Y. Han, WS-QDL containing static, dynamic, and statistical factors of Web services quality, Proceedings of the IEEE International Conference on Web Services (ICWS'04), pp.808-809, 2004.

O. Hasan and B. Char, A deployment-ready solution for adding quality-of-service features to web services " The, International Research Conference on Innovations in Information Technology, 2004.

N. Aghdaie and Y. Tamir, Client-transparent fault-tolerant Web service, Conference Proceedings of the 2001 IEEE International Performance, Computing, and Communications Conference (Cat. No.01CH37210), pp.209-216, 2001.
DOI : 10.1109/IPCCC.2001.918654
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.81

N. Aghdaie and Y. Tamir, Fast Transparent Failover for Reliable Web Service, Proceedings of the international Conference on Parallel and distributed computing and systems, 2003.

N. A. Tamir, Implementation and Evaluation of Transparent Fault-Tolerant Web Service with Kernel-Level Support, 11th IEEE International Conference on Computer Communications and Networks, pp.63-68, 2002.

N. Aghdaie and Y. Tamir, Performance optimization for transparent fault-tolerant Web service, 2003 IEEE Pacific Rim Conference on Communications Computers and Signal Processing (PACRIM 2003) (Cat. No.03CH37490), 2003.
DOI : 10.1109/PACRIM.2003.1235711

S. Todd, F. Parr, and M. H. Conner, A Primer for HTTPR, IBM Internet Software. Austin, 2002.

E. Alwagait and S. Ghandeharizadeh, DeW : A Dependable Web Services Framework," 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government Applications, 2004.

M. Jeckle and B. Zengler, Active UDDI - An Extension to UDDI for Dynamic and Fault-Tolerant Service Invocation, pp.91-99, 2002.
DOI : 10.1007/3-540-36560-5_7

D. Liang, C. Fang, and C. Chen, FT-SOAP: A Fault-tolerant web service, Tenth Asia-Pacific Software Engineering Conference, 2003.

R. Murty, JULIET: a distributed fault tolerant load balancer for .NET Web services, Proceedings. IEEE International Conference on Web Services, 2004., pp.778-781, 2004.
DOI : 10.1109/ICWS.2004.1314815

V. Dialani, S. Miles, L. Moreau, D. D. Roure, and M. Luck, Transparent fault tolerance for web services base architectures, Proceedings of 8th International Europar Conference (EURO-PAR'02) 2400 (-), pp.889-898, 2002.
DOI : 10.1007/3-540-45706-2_126
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.6664

G. T. Santos, L. C. Lung, and C. Montez, FTWeb: A Fault Tolerant Infrastructure for Web Services, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05), 2005.
DOI : 10.1109/EDOC.2005.15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.267

P. Narasimhan and J. Garon, Fault Tolerant CORBA Tutorial, OMG Workshop on Embedded & Real-time Distributed Object Systems, 2001.

X. Defago, A. Schiper, and P. Urban, Totally ordered broadcast and multicast algorithms: a comprehensive survey, 2000.

X. Ye and Y. Shen, A middleware for replicated Web services, IEEE International Conference on Web Services (ICWS'05), pp.11-15, 2005.
DOI : 10.1109/ICWS.2005.8

M. G. Merideth, A. Iyengar, T. Mikalsen, S. Tai, I. Rouvellou et al., Thema: Byzantine-Fault-Tolerant Middleware forWeb-Service Applications, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05), pp.131-140, 2005.
DOI : 10.1109/RELDIS.2005.28

R. Rodrigues, M. Castro, and B. Liskov, BASE: Using Abstraction to Improve Fault Tolerance, Proceedings of the 18th {ACM} Symposium on Operating System Principles, pp.15-28, 2001.

N. Looker, M. Munro, and J. Xu, Increasing Web Service Dependability Through Consensus Voting, 29th Annual International Computer Software and Applications Conference (COMPSAC'05), 2005.
DOI : 10.1109/COMPSAC.2005.88

. Microsoft, Web Services Reliable Messaging Protocol (WS-ReliableMessaging), 2004.

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller, Devil: An IDL for hardware programming, Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, pp.17-30, 2000.

L. R. Muller, Improving driver robustness: an evolution of the Devil approach, The International Conference on Dependable Systems and Networks, pp.131-140, 2001.

S. Thibault, C. Consel, and G. Muller, Safe and efficient active network programming, Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat. No.98CB36281), pp.135-143, 1998.
DOI : 10.1109/RELDIS.1998.740484
URL : https://hal.archives-ouvertes.fr/inria-00073334

C. Consel, H. Hamdi, L. Réveillère, L. Singaravelu, H. Yu et al., Spidle: A DSL Approach to Specifying Streaming Applications, Proceedings of the second international conference on Generative programming and component engineering, pp.1-17, 2003.
DOI : 10.1007/978-3-540-39815-8_1

C. Consel and R. Marlet, Architecturing Software Using A Methodology for Language Development, International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP '98), pp.170-194, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00476073

A. V. Deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, 2000.
DOI : 10.1145/352029.352035

D. L. Mcguinness and F. V. Harmelen, Web ontology language (OWL) overview, W3C Recommendation, 2004.

D. Martin, M. Burstein, O. Lassila, M. Paolucci, T. Payne et al., Describing Web Services using OWL-S and WSDL, 2003.

B. Randell, System structures for software fault tolerance, IEEE Transactions on Software Engineering, 1975.

D. Kristol and L. Montulli, HTTP State Management Mechanism, RFC 2109, 1997.

C. Kohlhoff and R. Steele, Evaluating SOAP for High Performance Business Applications: Real-Time Trading Systems, WWW2003, 2003.

N. Salatge and J. Fabre, DeWeL: Un langage dédié pour la sûreté de fonctionnement des services web, New Technologies for Distributed Systems (NOTERE'06), 2006.

N. Salatge and J. Fabre, DeWeL: a language support for fault tolerance in service oriented architectures, International Workshop on Engineering of Fault Tolerant Systems (EFTS'2006), 2006.

B. Meyer, Eiffel: programming for reusability and extendibility, ACM SIGPLAN Notices, vol.22, issue.2, pp.85-87, 1987.
DOI : 10.1145/24686.24694
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.1438

G. Kiczales, J. D. Rivières, and D. G. Bobrow, The art of the metaobject protocol, 1991.

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira-lopes et al., Aspect-Oriented Programming, Proc. of ECOOP, 1997.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, Proc. of ECOOP, 2001.
DOI : 10.1007/3-540-45337-7_18

L. Réveillère, Approche langage au développement de pilotes de périphériques robustes, Thèse de doctorat, 2001.

S. Thibault, Domain-Specific Languages: Conception, Implementation, and Application, 1998.

J. Neighbors, Software Construction Using Components, 1980.

A. Chou, J. Yang, B. Chelf, S. Hallem, and D. R. Engler, An Empirical Study of Operating System Errors, Symposium on Operating Systems Principles, pp.73-88, 2001.

C. Consel and L. Reveillère, A programmable client-server model: robust extensibility via DSLs, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.70-79, 2003.
DOI : 10.1109/ASE.2003.1240296
URL : https://hal.archives-ouvertes.fr/hal-00350051

L. Réveillère, Approce langage au développement de pilotes de périphériques robustes, Thèse de doctorat, 2001.

T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney et al., Cyclone: A Safe Dialect of C The Apache SoftWare Foundation, USENIX Annual Technical Conference, 2002.

S. Loughran and E. Smith, Rethinking the Java SOAP Stack, IEEE International Conference on Web Services (ICWS) 2005, pp.12-15, 2005.

J. Gray, Why Do Computers Stop and What Can Be Done About It?, Symposium on Reliability in Distributed Software and Database Systems, pp.3-12, 1986.

D. Graham, . Parrington, K. Santosh, . Shrivastava, M. Stuart et al., The Design and Implementation of Arjuna, USENIX Computing Systems Journal, vol.8, pp.253-306, 1995.

C. Joyce, J. Kaler, D. Klein, M. Langworthy, A. Little et al., Web Services Atomic Transaction (WSAtomicTransaction), 2005.

C. Joyce, J. Kaler, D. Klein, M. Langworthy, A. Little et al., Web Services Coordination (WSCoordination), 2005.

F. Cappello, F. Desprez, M. Dayde, E. Jeannot, Y. Jegou et al., Grid'5000: A Large Scale, Reconfigurable, Controlable and Monitorable Grid Platform, Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing, pp.13-14, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000284

A. L. Peterson and A. T. Roscoe, The design principles of PlanetLab, ACM SIGOPS Operating Systems Review, vol.40, issue.1, pp.11-16, 2006.
DOI : 10.1145/1113361.1113367

A. T. Acree, T. A. Budd, R. A. Demillo, R. J. Lipton, and F. G. Sayward, Mutation analysis, 1979.

R. A. Demillo, R. J. Lipton, and F. G. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1878.
DOI : 10.1109/C-M.1978.218136

R. Demillo, D. Guindi, K. King, M. M. Mccracken, and J. Offutt, An extended overview of the Mothra software testing environment, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis, pp.142-151, 1988.
DOI : 10.1109/WST.1988.5369

M. R. Girgis and M. R. Woodward, An Experimental Comparison of the Error Exposing Ability of Program Testing Criteria, Proceedings Workshop on Software Testing, Banff, pp.64-73, 1986.

H. Agrawal, R. Demillo, R. Hathaway, W. Hsu, W. Hsu et al., Design of Mutant Operators for the C Programming Language, 1989.

R. Siblini and N. Mansour, Testing web services, The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005., p.135, 2005.
DOI : 10.1109/AICCSA.2005.1387124