Verificación a priori de servicios Web
La composición de servicios Web promete reducir considerablemente el tiempo y los costes de desarrollo tomando componentes comunes en el mercado y reuniéndolos en una aplicación. Aunque esto se antoja muy atractivo, deja abiertas algunas cuestiones como la corrección de la composición o incluso la interoperabilidad de los servicios Web. Partiendo de la experiencia previa en sistemas multi-agente (SMA), se ha introducido un marco formal para la verificación automática del cumplimiento de las reglas y especificaciones comunes por parte de los servicios Web. El marco SC-IFF (Society Constraint IFF), desarrollado dentro del proyecto europeo SOCS, puede aplicarse a situaciones que conllevan razonamiento con información incompleta y una sucesión dinámica de eventos. El SC-IFF incluye procedimientos de demostración para comprobar, a priori y en el acto, el cumplimiento de los protocolos multi-agente por parte de los agentes. Incluye asimismo un lenguaje basado en programación de lógica basada en restricciones y abductiva. Concretamente, se verifica el cumplimiento, por parte de servicios Web específicos, de las definiciones del Protocolo de Internet (IP) y de la semántica del Lenguaje de Comunicación entre Agentes (ACL) basándose en el historial actual de eventos. Una variante del SC-IFF, llamada gSC-IFF, prevé la generación de un historial de eventos, cumpliendo un protocolo específico, aparte de verificar si determinado historial se ajusta a determinado protocolo. Además, los historiales generados por el procedimiento de demostración de gSC-IFF no son sólo una recopilación de eventos sino que, además, pueden contener variables y representar clases de historiales de eventos. Se ha comprobado la solidez del gSC-IFF, lo que significa que los historiales que genera tienen la garantía de cumplir los protocolos de interacción entre agentes, ajustándose al mismo tiempo a las metas del usuario. Generando expectativas positivas y negativas, puede verificarse dinámicamente el cumplimiento de los protocolos mientras éstos están diseñándose. Lo que es más importante, su capacidad de demostrar las propiedades de los propios protocolos convierte al gSC-IFF en una herramienta de gran utilidad para la ingeniería de protocolos.
