1

FOUNDATION OF INTELLIGENT PHYSICAL AGENTS (FIPA) Preparado por: Dr.C. Richard Aroca A. La evolucin de los sistemas informticos para resolver nuevas necesidades, aprovechando la disponibilidad de equipos cada vez ms potentes, conlleva el desarrollo de aplicaciones cada vez ms complejas. En esta evolucin, el esfuerzo de desarrollo no puede aumentar de forma proporcional a la complejidad del software producido. Es por ello que la ingeniera del software se enfrenta al problema de desarrollar software cada vez ms complejo con unos recursos productivos limitados, mediante la utilizacin de paradigmas cada vez ms abstractos. De este modo, en la historia de la informtica se han sucedido constantemente cambios de paradigmas de programacin, desde la electrnica al ensamblador, de aqu a la programacin simblica y la descomposicin funcional y ms recientemente a la orientacin a objetos y servicios. En la actualidad, hay un esfuerzo creciente en la elaboracin de estndares que permitan utilizar Internet como infraestructura para la comunicacin de sistemas ad-hoc. Los lenguajes semnticos, XML o los estndares de Web Services son algunos ejemplos. Sistemas complejos, entornos abiertos y una necesidad creciente de abstraccin para hacer software a un coste razonable son requisitos que el paradigma de orientacin a agentes resuelve mediante un modelo donde el control y la informacin estn distribuidos en entidades autnomas, proactivas y deliberativas, capaces de colaborar y de organizarse. Los agentes son, en definitiva, una solucin adecuada para aplicaciones descentralizadas, mal estructuradas, cambiantes y complejas. Organizaciones de Estandarizacin y Coordinacin La elaboracin de estndares permite la interoperabilidad entre los sistemas, la reutilizacin de componentes y servicios a nivel global, como herramientas de desarrollo, en definitiva impulsan el desarrollo de las tecnologas y del mercado. Por consiguiente, tanto el mundo acadmico como los agentes industriales, requieren de organismos que se encarguen de elaborar los estndares necesarios para la evolucin y aplicacin amplia de las tecnologas multiagente. FIPA La FIPA (Foundation of Intelligent Physical Agents) es una organizacin sin nimo de lucro que fue creada en 1996, con base en Gnova (Suiza) con el objetivo de promover la industria de los sistemas basados en agentes a travs del desarrollo de especificaciones abiertas para la interoperabilidad entre agentes y aplicaciones basadas en agentes. Entre sus miembros estn compaias y universidades. La FIPA se encuentra en proceso de adscripcin al IEEE como miembro de la familia de comits de estandarizacin. Los estndares elaborados por la FIPA estn agrupados en las siguientes reas (FIPA-AAS):

reas de Estandarizacin de FIPA La Arquitectura Abstracta FIPA Est formada por un conjunto de diseos arquitecturales abstractos, para permitir la interoperabilidad entre distintas plataformas, que incluyen:

2
Un modelo de servicios y descubrimiento de servicios disponibles a agentes y a otros servicios. Se definen las propiedades de un servicio, de un directorio de servicios, y su relacin con los agentes y con el sistema de mensajera, es decir, cmo un agente utiliza el directorio de servicios para enviar un mensaje a otro agente que proporciona el servicio. Un modelo de mensajera que es independiente del protocolo de transporte utilizado (por ejemplo, HTTP SMTP), del lenguaje de comunicacin (ACL) y del lenguaje de contenido (como FIPA-KIF FIPA-RDF). Se prev la posibilidad de que un mensaje pueda referenciar una Ontologa.

Comunicacin entre Agentes Los estndares de comunicacin entre agentes (FIPA-ACL) incluyen la especificacin de la estructura de mensajes, de los protocolos de interaccin para el intercambio de mensajes, actos comunicativos basados en teoras del lenguaje y representaciones de lenguajes de contenido.

Estndares FIPA de Comunicacin entre Agentes (FIPA-ACL) Estructura de Mensajes ACL Los mensajes FIPA ACL estn compuestos de propiedades variables segn el contexto. La nica propiedad obligatoria es performative (tipo de mensaje) aunque en general se suelen enviar tambin los campos sender, receiver, y content. La lista completa de propiedades en los mensajes ACL es: Parmetro performative sender receiver reply-to content language encoding ontology protocol conversation-id reply-with in-reply-to reply-by Categora Tipo Participante Participante Participante Contenido Descripcin del Contenido Descripcin del Contenido Descripcin del Contenido Control de la conversacin Control de la conversacin Control de la conversacin Control de la conversacin Control de la conversacin

Protocolos de Interaccin FIPA-IP Los protocolos de interaccin tratan con intercambios de mensajes ACL predefinidos. Incluyen los siguientes estndares:

FIPA Request Interaction Protocol Specification. Permite a un agente solicitar a otro agente una accin.

3
FIPA Query Interaction Protocol Specification. El agente Iniciador realiza una pregunta al Participante, existen mensajes diferentes para interrogativa total (respuesta s/no) o parcial. El Participante puede rechazar la contestacin, o informar tambin con dos mensajes diferentes segn el caso. FIPA Request When Interaction Protocol Specification. Permite solicitar a otro agente realizar una accin en un momento determinado. FIPA Contract Net Interaction Protocol Specification. Define un protocolo de asignacin de tareas en el que el agente Iniciador presenta una peticin de propuestas (cfp, call for proposals) a un nmero de agentes (potenciales contratistas). stos pueden rechazar la invitacin o realizar sus propuestas incluyendo sus condiciones (como plazo de finalizacin, precio). A continuacin el Iniciador puede aceptar un nmero de propuestas, a partir de aqu se compromete el Participante a realizar la tarea, que puede concluir con xito o fracaso. FIPA Iterated Contract Net Interaction Protocol Specification. Es una variacin al protocolo Contract Net que incluye varias rondas en la negociacin de los contratos. FIPA Brokering Interaction Protocol Specification. Es un macro protocolo de interaccin para intermediacin entre agentes. Permite a un agente hacer de intermediario entre un Iniciador y otros Participantes, encapsulando cualquier otro protocolo de interaccin de los existentes. FIPA Recruiting Interaction Protocol Specification. Permite a un agente ofrecer servicios de reclutamiento al Iniciador, utilizando su conocimiento sobre los requisitos y capacidades de esos agentes. FIPA Subscribe Interaction Protocol Specification. Un agente Iniciador enva una solicitud de subscripcin a un Participante, en referencia a unos determinados objetos. Si el participante acepta, enviar mensajes de informacin sobre estos objetos cuando cambien, hasta que uno de los dos cancelan el acuerdo de subscripcin. FIPA Propose Interaction Protocol Specification. En esta interaccin el agente Iniciador enva una propuesta al Participante indicando que realizar una accin si el Participante est de acuerdo. Si el Participante accede, el Iniciador realizar la accin e informar al Participante del resultado.

Librera de Actos Comunicativos FIPA CAL El documento pretende estandarizar los actos comunicativos entre agentes, identificando y haciendo pblicamente disponible una serie de actos comunicativos, para promover la reutilizacin e interoperabilidad entre sistemas, adems de establecer un proceso bien definido para el mantenimiento del conjunto. Los actos comunicativos FIPA son los siguientes: Accept Proposal Agree Cancel Call for Proposal Confirm Disconfirm Failure Inform Inform If Inform Ref Not Understood Propagate Propose Proxy Query If Query Ref Refuse Reject Proposal Request Request When Request Whenever Subscribe

Sobre cada acto se proporciona un resumen, descripcin en lenguaje natural y modelo formal que utiliza el lenguaje formal SL (Semantic Language). Lenguajes de Contenido FIPA CL Las especificaciones de lenguajes de contenido (FIPA-CLs) definen lenguajes de representacin de contenidos de mensajes ACL. Actualmente es un estndar aprobado el lenguaje FIPA-SL y en proceso de aprobacin FIPAKIF, FIPA-CCL y FIPA-RDF.

4
El lenguaje SL define una gramtica en formato EBNF, un lxico y un conjunto de notas explicatorias de la semntica del lenguaje. Gestin de Agentes Los estndares de gestin de agentes [FIPA-MGM] tratan sobre el control y gestin de agentes en y entre plataformas. FIPA Agent Management Specification El documento especifica en primer lugar el marco de gestin que ilustra la figura siguiente:

Estndar FIPA de Gestin de Agentes (FIPA-MGM) En el modelo, el Sistema de Gestin de Agentes (AMS) supervisa y controla el acceso y uso de la plataforma de agentes. Los agentes utilizan el sistema de transporte para la comunicacin (MTS) con agentes en otras plataformas. El facilitador del servicio de directorio (DF), opcional, proporciona un servicio de pginas amarillas a los agentes. La Plataforma de Agentes (AP) est formada por las mquinas, sistema operativo, software de soporte de los agentes, los componentes de gestin de FIPA (DF, MTS, AMS) y los propios agentes. La especificacin define a continuacin un esquema de nombrado y direccionamiento, basado en identificadores nicos para cada agente (Agent ID) y direcciones de transporte. Un agente puede tener varias direcciones donde recibir mensajes. Los servicios se describen mediante el objeto Service Description, que permite publicar los servicios en el directorio (DF). El mdulo de gestin AMS es el encargado de la gestin y operacin de la AP, encargado de funciones como la creacin y destruccin de agentes, migracin de agentes entre mquinas de la plataforma (si la plataforma soporta movilidad), si la plataforma consiste de varias mquinas, el AMS gestiona las operaciones distribuidas como parada y arranque de un nodo, etc. El ciclo de vida de un agente viene representado en la siguiente figura:

Ciclo de vida de un Agente Un agente est sujeto a un ciclo de vida que define los estados en los que se puede encontrar y cmo se realizan los cambios de un estado a otro. Descripcin de los estados Iniciado: El objeto Agente est creado pero todava no se ha registrado en el AMS, no tiene nombre, ni direccin y tampoco se puede comunicar con otros agentes. Activo: El Agente est registrado en el AMS, tiene un nombre y una direccin y puede acceder a todas las opciones de JADE. Suspendido: El Agente est parado. Su hilo de ejecucin est detenido y no ejecuta ningn Comportamiento. En espera: El Agente est bloqueado esperando por algo. Su hilo de ejecucin est dormido en un monitor de java y se despertar cuando se cumpla una cierta condicin (cuando reciba un mensaje). Desconocido: El Agente ha sido eliminado. El hilo de ejecucin ha terminado y se ha eliminado del registro del AMS. Trnsito: Un Agente mvil entra en este estado mientras est migrando a una nueva localizacin. El sistema sigue guardando los mensajes en el buffer hasta que el agente vuelve a estar activo. Creacin de agentes Al crearse un agente se realizan varias tareas automticamente: Se llama al constructor. Se crea un identificador (AID). Se registra el agente en el AMS. Se ejecuta el mtodo setup(), que nicamente debe contener cdigo relativo a tareas de inicializacin. En el mtodo setup() del agente se puede: Modificar el registro del AMS. Registrar el agente en el DF. Aadir las tareas que ejecutar el agente. Etc. Por otra parte, el AMS guarda un registro de los agentes residentes en la plataforma y la residencia de un agente en una plataforma implica que el agente debe estar registrado en el AMS para cumplir con la especificacin FIPA. Transporte de Mensajes entre Agentes Los estndares de transporte de mensajes (FIPA-TRX) se compone de un estndar de especificacin del servicio de transporte (FIPA Agent Message Transport Service Specification) ms especificaciones de representacin de mensajes ACL y Envelopes (metadatos propios de la capa de transporte) y especificaciones acerca de protocolos de transporte.

Estndares FIPA de Transporte de Mensajes (FIPA-TRX) FIPA Agent Message Transport Service Specification La especificacin consta de 1. 2. Un modelo de referencia del servicio de transporte de mensajes Definiciones para expresar la informacin de transporte

Modelo de referencia El modelo comprende tres niveles (ver figura): 1. 2. El Protocolo de Transporte de Mensajes (MTP) El Servicio de Transporte de Mensajes (MTS)

3. El mensaje ACL (datos transportados o payload).

Estructura de Mensajes Los mensajes estn compuestos de los datos de transporte y los datos transportados o carga (payload). En las figuras se muestra la relacin entre los mensajes ACL (Payload), el Envelope que contiene la informacin de transporte y el propio servicio de transporte.

Estndar de transporte de mensajes: Estructura del Mensaje de Transporte (FIPA-TRX) El Servicio de Transporte (MTS) El MTS proporciona un servicio de transporte de mensajes entre agentes que pueden residir en la misma AP (Agent Platform) o en otras APs. El servicio lo proporciona el ACC (Agent Communication Channel). Los datos de transporte (Envelope) contienen atributos tipo etiqueta-valor conteniendo al menos origen, destino, fecha y representacin ACL. Adems pueden contener otros parmetros opcionales.

7
El ACC es el responsable de interpretar el Envelope y no se requiere que interprete los datos transportados (payload). Para realizar su funcin, el ACC puede requerir informacin del sistema de gestin (AMS) o del servicio de directorio (DF). Se plantean tres mecanismos de envo de mensajes por un agente: el envo al canal (ACC) de la plataforma propia, el envo al ACC de la plataforma remota y tambin el envo directo al agente destinatario, aunque esta forma no est cubierta por la FIPA:

Estndar FIPA de Transporte de Mensajes: Mecanismo de Envi de Mensajes a TRAVS DEL Canal de Comunicaciones (ACC) (FIPA-TRX) FIPA ACL Message Representation Specifications Actualmente existen tres especificaciones para representacin de los mensajes ACL: FIPA ACL Message Representation in Bit-Efficient Specification FIPA ACL Message Representation in String Specification FIPA ACL Message Representation in XML Specification

FIPA ACL Envelope Representation Specifications Del mismo modo, existen dos especificaciones para la representacin de los datos de transporte: FIPA Agent Message Transport Envelope Representation in Bit-Efficient Specification FIPA Agent Message Transport Envelope Representation in XML Specification

FIPA Agent Message Transport Protocol Specifications Con respecto a los protocolos de transporte, se han definido las siguientes especificaciones: FIPA Agent Message Transport Protocol for IIOP Specification FIPA Agent Message Transport Protocol for WAP Specification FIPA Agent Message Transport Protocol for HTTP Specification

La Sintaxis AUML El lenguaje AUML es un estndar FIPA elaborado por el FIPA Modelling Technical Comitte [FIPA-MTC] cuyo objetivo es desarrollar una semntica comn, meta-modelos y sintaxis abstracta, independiente del proveedor, para las metodologas orientadas a agentes. En este sentido, el AUML tiene como objetivo solucionar las limitaciones del UML, concebido desde la ingeniera de orientacin a objetos, enriqueciendo el lenguaje para dotarlo de la capacidad expresiva necesaria en el paradigma de orientacin a agentes. Referencias: - Gmez lvarez, Jos. Articulo Sistemas de Informacin Multiagente, 2005. - FIPA, Foundation of intelligent physical agents.