Méthodes, techniques et outils pour la conception d'applications fiables basées sur la composition de services web

万维网满足了个人、企业和政府的各种需求，并提供了各种各样的服务。把人变成人，把人变成人，把人变成人，把人变成人，把人变成人。新事务处理程序支持下列事项：être与组成和整合资源有关的所有事项。第三部分，网络教授和信息技术导向的<s:1>信息技术服务- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -该方案包括：提供一些简单的、简单的、综合的、有能力提供某些质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的、有质量的。技术上的改进是基于缺陷的，改进是基于缺陷的，改进是基于缺陷的。在发生的情况下，不同的croons将会是重要的交换条件，例如：交换交换和交换交换，交换交换和交换交换，交换交换和交换交换，交换交换和交换交换，交换交换和交换交换，交换交换和交换交换。(B)根据服务网的组成，制订和保证交换交换和交换交换的程序。本研究项目建议采用以下方法对目标进行修正：(1)对组成服务Web的模块进行修正，包括对事务处理流程的概念进行修正。(2)面向电子商务的电子商务与电子商务的电子商务。(3)从系统角度出发，多战略角度出发，从系统角度出发，从系统角度出发，从系统角度出发，从系统角度出发，从系统角度出发，从系统角度出发，从系统角度出发，从系统角度出发，从系统角度出发，从系统角度出发。

Le Web met à disposition des personnes, des entreprises et des gouvernements une diversité de données et de services. Pour pouvoir en profiter pleinement, des méthodes et des outils sont nécessaires pour en faciliter l'intégration. De nouveaux processus d'affaires pourront alors être élaborés par la composition et l'intégration de ces ressources. D'autre part, l'essor du Web et de l'informatique orientée service dépendra de la confiance que les utilisateurs pourront accorder aux services offerts. Un des moyens pour accroître cette confiance consiste à offrir des méthodes et des outils pour le développement de services (simples ou composites) fiables et capable de garantir certaines qualités de service. Des techniques de tolérance aux fautes, de recouvrement et de vérification formelle sont vivement souhaitées. En l'occurrence, nous croyons qu'il est important de travailler au développement de méthodes, de techniques et d'outils qui faciliteront (A) la composition des services et l'intégration des données échangées sur le Web; (B) la vérification et la garantie de la qualité des processus d'affaires qui dépendent de la composition de services Web. Notre projet de recherche propose donc la réalisation des objectifs suivants : (1) La définition d'un modèle de composition de services Web, incluant un modèle transactionnel, pour la conception de processus d'affaires fiables. (2) La modélisation orientée aspect et la vérification formelle de la composition des services Web. (3) Le développement d'un système multistratégique et adaptatif pour l'alignement sémantique de sources de données et la mise en oeuvre d'une plateforme pour l'intégration des sources de données géographiques.