Vérification a priori des services Web
La composition de services Web devrait permettre de réduire de façon considérable la durée et les coûts de développement, grâce à l'utilisation de composants standard et leur association dans une application fonctionnelle. Quoique très attrayante, elle laisse certaines questions sans réponses, notamment le caractère correct ou non de la composition, voire l'interopérabilité des services Web. Issu d'expériences antérieures en matière de systèmes multi-agents (SMA), un cadre formel a été conçu pour une vérification automatique de la conformité des services Web aux règles et spécifications usuelles. Le modèle SC-IFF (Society Constraint IFF), mis au point dans le cadre du projet européen SOCS, peut être appliqué à des situations mettant en jeu le raisonnement à partir d'informations incomplètes et l'occurrence dynamique d'événements. Le modèle SC-IFF comporte des procédures destinées à la vérification a priori et instantanée de la conformité des agents aux protocoles multi-agents, en plus d'un langage à base de programmation abductive et à logique contraignante. Plus précisément, la conformité des services Web individuels aux définitions IP (Internet Protocol) et à la sémantique en matière de LCA (Langage de communication entre agents) est vérifiée sur la base de l'historique actuel des événements. Une variante du modèle SC-IFF, dénommée gSC-IFF, permet de créer un historique des évènements, conforme à un protocole spécifique, ainsi que de vérifier si un historique est conforme à un protocole. Par ailleurs, les historiques créés à l'aide de la procédure de vérification gSC-IFF ne constituent pas seulement une liste d'événements. Ils peuvent aussi comporter des variables et représenter des catégories d'historiques d'événements. La procédure gSC-IFF s'est avérée correcte, ce qui signifie que les historiques qu'elle génère sont toujours conformes aux protocoles d'interaction entre agents et en même temps adaptés aux objectifs de l'utilisateur. En générant des attentes positives et négatives, la conformité des protocoles peut être dynamiquement vérifiée lors même de leur conception. Plus important encore, sa capacité à prouver les propriétés des protocoles eux-mêmes fait de la procédure gSC-IFF un outil précieux d'ingénierie des protocoles.
