Considerazioni sugli agenti intelligenti riguardanti i servizi Web
Con schemi architetturali, metodologie e principi, le architetture SOA (Service Oriented Architecture) sono emerse come nuovo paradigma per l'organizzazione di processi informativi tra aziende e all'interno delle aziende. La composizione di servizi Web in cui le funzionalità aziendali sono racchiuse in componenti software e possono essere richiamate tramite standard Internet verticali, fornisce un esempio pratico di tali architetture. In questo contesto, la necessità di standard più sofisticati e soprattutto di verifica della conformità del runtime a regole e specifiche ha motivato lo sfruttamento della struttura Society Constraint IFF. SC-IFF è stato sviluppato con il progetto SOCS per fornire un linguaggio formale per la definizione di protocolli di interazione agenti. La controparte operativa è basata principalmente sulla proof procedure abduttiva IFF, e può essere utilizzata per la verifica della conformità di singoli servizi Web a protocolli e coreografie di portata globale. SC-IFF è stato integrato in SOCS-SI (SOCS-Society Infrastructure), un'applicazione software Java in grado di monitorare le interazioni degli agenti e inoltrarle a SC-IFF per la valutazione. SOCS-SI riceve come input le specifiche della coreografia, nonché gli eventi che si verificano, e fornisce agli utenti i risultati di calcoli SC-IFF in materia di conformità tramite un'interfaccia grafica. Oltre a fornire la verifica di conformità in fase di runtime, tramite il controllo immediato degli eventi in entrata provenienti da varie origini, SOCS-SI è in grado di analizzare file di log contenenti eventi rilevanti. SOCS-SI, assieme alle proof procedure, costituisce una struttura molto interessante per i progettisti di servizi Web in termini di aspettative, proprietà e protocolli societari in un ambiente in cui le informazioni sono parziali. È in grado, inoltre, di aprire la strada per nuovi concetti nell'ingegneria societaria degli agenti, grazie alla valutazione delle proprietà e al sostegno di strumenti di verifica consolidati a livello formale.
