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

该网络满足了人员、企业和政府的各种需求和服务。为了获得更大的利益，必须使用方法和工具来促进一体化。De nouveaux process d'affairs pourront alors être elaborés par la composition et l'intégration de ces resources.另一方面，Web和东方信息服务的提供取决于用户对所提供服务的信心。Un des moyens pour accroquitre cette confidance consiste à offrir des methodes et des outils pour le déception de services（simples or composites）fables et capable de guarantir certainties qualités de service.容忍错误、回收和验证的技术使其具有生命力。在这种情况下，我们认为，Au开发方法、技术和工具对于促进（A）Web上的服务组成和数据集成至关重要;（B）验证和保证依赖于Web服务组成的事务处理的质量至关重要。本文提出了以下几个方面的研究目标：（1）定义Web服务的组成模式，包括事务处理模式，以实现事务处理的拉康塞普雄。(2)La modélisation orientée aspect et la vérification formelle de la composition des services Web. (3)Le décrippement d'un système multistratégique et adaptatif pour l'esthemen sémantique de données et la décripen oeuvre d'une plateforme pour l'integration des sources de données géographiques.

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.