| Summary: | Dans ce travail nous proposons une adaptation du paradigme de la programmation par contrat - contrats exprimés sous forme de protocoles de comportement - au contexte des architectures orientées services, et ce à travers la conception d'un cadre d'applications (framework) supportant l'ensemble du processus de contractualisation, à savoir, la définition des contrats, la surveillance dynamique et la réaction en fonction du respect ou non des règles établies. La solution proposée permet de détecter les ruptures de contrat à chaud, c'est-à-dire en cours d'exécution des compositions de services, ouvrant ainsi la porte à l'instauration de mécanismes dynamiques de compensation. Les contrats surveillés représentent des protocoles de comportements de processus BPEL, ce qui permet de définir des contraintes sur l'ordre d'exécution des opérations publiques des services partenaires. Nous en présentons également une mise en œuvre, BPEL.RPM, qui est adaptable, dans le sens où elle peut aisément intégrer des modules externes de compensation, mais qui est aussi portable, puisqu'elle fonctionne indépendamment de l'environnement d'exécution des services Web.
______________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : services Web, programmation par contrat, surveillance dynamique, BPEL.
|
|---|
