Modelado de sistemas multi-agente

Résumé

El desarrollo de Sistemas Multi-Agente (SMA) plantea nuevas cuestiones respecto a los procesos de ingeniería de software existentes al integrar conceptos procedentes del campo de la inteligencia artificial distribuida, como la autonomía y el modelado del estado mental de los agentes, la organización e interaciones de los agentes, o la definición de los objetivos que persiguen y las tareas que realizan los agentes dentro del SMA. El objetivo de esta tesis es definir una metodología para el desarrollo de SMA que integre resultados de investigación del área de tecnología de agentes con un proceso de desarrollo de software bien establecido, en nuestro caso el Rational Unified Process (RUP). Esta metodología parte de la definición de un conjunto de meta-modelos que definen los elementos que constituyen un SMA desde distintos puntos de vista, y que permiten construir un lenguaje para especificación de Sma. Así, la especificación del SMA se estructura en cinco aspectos: la definición, control y gestión del estado mental de cada agente, las interacciones entre los agentes, la organización del SMA, el entorno en el que están situados los agentes, y las tareas y objetivos asignados a cada agente. La integración del lenguaje de especificación de SMA en las prácticas de ingeniería se consigue definiendo un conjunto de actividades que guían al ingeniero durante las fases de análisis y diseño indicando qué resultados hay que producir. Este proceso está soportado por un conjunto de herramientas generadas a partir de la especificación de los meta-modelos con una herramienta de meta-modelado (MetaEdit+). Para facilitar el modelado de SMA se proporciona un entorno gráfico para la creación de especificaciones de SMAs y su validación automática (de acuerdo a las restricciones impuestas por los meta-modelos). Como complemento a esta herramienta, se ha definido un proceso genérico mediante el cual se parametrizan e instancian