Des agents intelligents qui réfléchissent aux services Web
Offrant des principes, des méthodologies et des modèles architecturaux, les SOA (Service Oriented Architectures, architectures orientées services) se sont affirmées en tant que nouveau paradigme de structuration des processus d'information inter- et intra-entreprise. La composition de services Web, dans laquelle les fonctions commerciales sont encapsulées dans des composants logiciels et peuvent être invoquées via une pile de normes Internet, constitue un exemple concret de telles architectures. Dans ce contexte, le besoin de normes plus sophistiquées et, en particulier, d'une méthode de test en cours d'exécution de la conformité aux règles et aux spécifications a motivé le recours au modèle intitulé Society Constraint IFF. Le modèle SC-IFF a été mis au point dans le cadre du projet SOCS afin de constituer un langage formel de définition des protocoles d'interaction des agents. Sa contrepartie opérationnelle est essentiellement basée sur la procédure de vérification abductive IFF et peut être utilisée pour vérifier la conformité de services Web individuels à des protocoles ou chorégraphies mondiaux. Le modèle SC-IFF a été intégré dans la 'SOCS society infrastructure' (SOCS-SI), une application logicielle en langage Java capable de surveiller les interactions des agents et de les transférer au modèle SC-IFF pour analyse. La structure SOCS-SI utilise comme sources les spécifications des chorégraphies, ainsi que les événements qui se produisent, et fournit à l'utilisateur les résultats des calculs du modèle SC-IFF en matière de conformité via une interface utilisateur graphique. En plus de la vérification de conformité en cours d'exécution qu'elle permet par la vérification immédiate des événements entrants à partir de différentes sources, l'infrastructure SOCS-SI est capable d'analyser les fichiers journaux contenant des évènements pertinents. L'infrastructure SOCS-SI, jointe à ses procédures de vérification, constitue un cadre attrayant pour les concepteurs de services Web désireux de réfléchir aux attentes, protocoles sociaux et propriétés dans un contexte marqué par le caractère partiel des informations. De plus, elle pourrait déboucher sur de nouveaux concepts en matière d'ingénierie des sociétés d'agents, fruits d'un raisonnement sur les propriétés et aidés en cela par des outils de vérification formellement identifiés.