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

点击翻译按钮获取中文摘要

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.