Skip to main content
European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Contenu archivé le 2024-05-18

A computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees.

Article Category

Article available in the following languages:

Des agents intelligents qui réfléchissent aux services Web

L'infrastructure sociale SOCS fournit un modèle social et une procédure abductive de vérification instantanée de la conformité aux protocoles des agents interactifs dans un contexte informatique mondial.

Économie numérique icon Économie numérique

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.

Découvrir d’autres articles du même domaine d’application