Protocoles de comportement pour composants et services

这些服务Web sont devenus une infrastructure fundamentale pour la courseen oeuvre des processes d'affairs électroniques et des architectures orientées services. Un facteur important pouriser 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.总之，我们感兴趣的是另一种形式的合同，这种合同允许制定可能的序列和操作规则-与合作伙伴进行可能的服务对话。这是我们感兴趣的合同的最新类型，一种称为“协议”的合同，它有利于促进全球服务的履行。 Notre programme de recherche vise à definir un langage de spécification de protocols de comportement qui soit easile à utiliser par les engénieurs logiciels pour décrire les contracts de systèmes à base de services.这些合同在效力方面是真实的，在执行服务的杜兰特内，必须确保服务是正确的。在服务业中，一种动态的电信增值特别重要，因为它需要更新和动态-反过来说，杜兰特执行时，所使用的服务可能会被选择。 L'écriture de spécifications n'étant pas une tâche easile，notre recherche visera aussi à dépéréper des outils pour aider les engénieurs logiciels dans cette tâche.为了做到这一点，我们需要提供一些帮助，以实现对服务执行轨迹的分析，并利用各种不同的技术来产生一种能够代表服务可能实现的具体化。

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.