权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Protocoles de comportement pour composants et services

成分和服务行为协议

基本信息

批准号：
183776-2012
负责人：
Tremblay, Guy
金额：
$ 1.02万
依托单位：
Université du Québec à Montréal
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2015
资助国家：
加拿大
起止时间：
2015-01-01 至 2016-12-31
项目状态：
已结题

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=569660
关键词：
Protocoles de comportement pour composants

项目摘要

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.

Les services Web可以设计一个基础设施基础，用于实现面向电子事务处理和面向电子事务的体系结构。不重要的是，重要的是，对系统系统的支持，对服务的支持，对系统系统的支持，对系统的支持，对系统的支持，对系统的支持，对系统的支持，对系统的支持，对系统的支持，对系统的支持，对系统的支持。这些不同的薪金标准代表了不同的薪金标准，如合同、行政管理、薪金标准等。因此，从形式上看，从形式上看，从形式上看，从形式上看，是指从形式上看，从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看，是指从形式上看。是最后的类型de contrat感兴趣,一个印版de contrat appelee“protocole de遵守”,谁有倒优点之一de mieux描写le预见杜遵守全球服务。