Verifica a-priori di servizi Web
La composizione dei servizi Web promette una sensibile riduzione dei tempi e dei costi di sviluppo, sfruttando componenti già pronti e unendoli in un'applicazione funzionante. Anche se sembra particolarmente interessante, la composizione dei servizi Web pone il fianco a diversi interrogativi, ad esempio la correttezza della composizione o la possibilità di interazione tra i servizi Web. In base a esperienze precedenti nei sistemi MAS (Multi-Agent System), è stata introdotta una struttura formale per la verifica automatica della conformità dei servizi Web a specifiche e regole comuni. La struttura SC-IFF, sviluppata con il progetto europeo SOCS, può essere applicata in situazioni che implicano valutazioni con informazioni incomplete e la ricorrenza di eventi dinamici. SC-IFF include proof procedure per la verifica, a priori e immediata, della conformità degli agenti con i protocolli multi-agente, oltre a un linguaggio basato sulla programmazione CLP (Constraint Logic Programming) e abduttiva. In particolare, la conformità di singoli servizi Web a definizioni IP (Internet Protocol) e semantica ACL (Agent Communication Language) viene verificata in base alla cronologia corrente degli eventi. Una variante di SC-IFF, denominata gSC-IFF, fornisce la generazione di una cronologia eventi, conforme a un protocollo specifico, e la verifica della conformità di tale cronologia a un protocollo. Le cronologie generate dalla proof procedure gSC-IFF, inoltre, non sono solo una raccolta di eventi ma possono contenere variabili e rappresentare classi di cronologie di eventi. gSC-IFF si è dimostrato efficace, vale a dire che è possibile garantire che le cronologie generate sono conformi ai protocolli di interazione degli agenti, adattandosi agli obiettivi dell'utente. Generando previsioni positive e negative, la conformità ai protocolli può essere verificata in maniera dinamica in fase di progettazione. Ma è soprattutto la capacità di verifica automatica delle proprietà dei protocolli a rendere gSC-IFF uno strumento prezioso per la progettazione di protocolli.
