Agentes inteligentes que razonan sobre servicios Web
Las SOA (Arquitecturas Orientadas a Servicios), que ofrecen principios, metodologías y patrones arquitectónicos, han surgido como un nuevo paradigma para estructurar procesos de información inter e intraempresariales. La composición de servicios Web, en la que las funcionalidades de negocios se encapsulan en componentes de software y pueden invocarse mediante gran cantidad de estándares de Internet, constituye un ejemplo práctico de estas arquitecturas. En este contexto, la necesidad de disponer de estándares más sofisticados y, concretamente, de pruebas de ejecución relativas a la conformidad con las reglas y especificaciones motivó la explotación del marco Society Constraint IFF (SC-IFF). Éste se desarrolló en el seno del proyecto SOCS con el objeto de disponer de un lenguaje formal para definir protocolos de interacción entre agentes. Su equivalente operativo se basa principalmente en el procedimiento de demostración abductivo IFF y puede emplearse para verificar el cumplimiento, por parte de servicios Web específicos, de protocolos o coreografías globales. El SC-IFF se ha integrado en SOCS-SI («SOCS society infrastructure»), una aplicación de software en Java capaz de vigilar las interacciones entre agentes y enviarlas al SC-IFF para que éste aplique su razonamiento. La infraestructura SOCS-SI recibe las especificaciones de la coreografía junto con los eventos en curso y proporciona al usuario los resultados de las computaciones del SCI-FF relativas a la conformidad por medio de una interfaz gráfica de usuario. Además de permitir la verificación de la conformidad durante el tiempo de ejecución comprobando de manera inmediata los eventos comunicados por varias fuentes, la SOCS-SI es capaz de analizar archivos de registro que contienen eventos relevantes. La SOCS-SI, junto con sus procedimientos de demostración, constituye un marco atractivo para los diseñadores de servicios Web para razonar sobre las expectativas, los protocolos sociales y las propiedades en un entorno en el que la información es parcial. Además, puede allanar el camino para la llegada de nuevos conceptos en ingeniería de sociedad de agentes, respaldado por el razonamiento sobre las propiedades y ayudado por herramientas de verificación establecidas formalmente.