Grant: Discovery Grants Program - Individual

Les services Web sont devenus une infrastructure fondamentale pour la mise en oeuvre des processus d'affaires électroniques et des architectures orientées services. Un facteur important pour favoriser l'essor des systèmes à base de services est de pouvoir décrire et spécifier de façon précise les services disponibles et leurs opérations. De telles spécifications reposent sur différentes formes de contrats, entre autres, la description de chacune des opérations d'un service. Toutefois, nous nous intéressons plutôt à une autre forme de contrat, qui permet de décrire les séquences possibles et légales d'opérations -- donc les conversations possibles du service avec ses partenaires. C'est ce dernier type de contrat qui nous intéresse, une forme de contrat appelée ""protocole de comportement"", qui a pour avantage de mieux décrire le comportement global du service. Notre programme de recherche vise à définir un langage de spécification de protocoles de comportement qui soit facile à utiliser par les ingénieurs logiciels pour décrire les contrats de systèmes à base de services. Ces contrats pourront être vérifiés, de façon efficace, durant l'exécution du service, permettant ainsi de s'assurer que le service se comporte correctement. Une telle vérification dynamique est particulièrement importante dans le monde des services, qui se veut ouvert et dynamique -- par exemple, les services utilisés peuvent être sélectionnés durant l'exécution. L'écriture de spécifications n'étant pas une tâche facile, notre recherche visera aussi à développer des outils pour aider les ingénieurs logiciels dans cette tâche. Pour ce faire, nous développerons des outils d'aide à la spécification qui reposent sur l'analyse des traces d'exécution de services et qui utilisent diverses techniques de fouilles de données pour produire une spécification qui représente aussi fidèlement que possible le comportement du service.