Prometheus

Sistemas Multi-Agente
Metodologı́a: Prometheus y PDT

Daniel Garcia Ospina – Alejandro Cardona Quiceno

Facultad de Ingenierías: Eléctrica, Electrónica, Física y Ciencias de la Computación

Universidad Tecnológica de Pereira
Ingeniería de Sistemas y Computación

Computación Blanda
Prometheus

Prometheus y PDT

� Prometheus es una metodologı́a para desarrollar agentes

inteligentes.
� Abarca todas las fases de desarrollo de un sistema:
... Especificación,
... Diseño,
... Implementación y
... Prueba/depuración.
� La herramienta PDT da soporte a la metodologı́a Prometheus.
� Proporciona una interfaz gráfica para:
... Verificación entre los diagramas;
... Propagación automática de elementos de diseño cuando es
posible y apropiado; y
... Asistencia en la búsqueda de nombres.
Prometheus

Fases en Prometheus

� Especificacióndel Sistema,
� Diseño de la Arquitectura, y
� Diseño Detallado.

� Cada una de éstas da como resultado artefactos de diseño

especı́ficos.
Prometheus

Especificación del sistema

� Identificación de actores y sus interacciones con el sistema, en

forma de percepciones y acciones;
� Desarrollo de escenarios que ilustran la operación del sistema;

� Identificación de las metas y submetas del sistema;

� Identificación de datos externos;

� Agrupamiento de metas y otros elementos para formar los

roles básicos del sistema.
Prometheus

Diseño de la arquitectura

� Determinar los tipos de agentes;

� Desarrollar los protocolos de interacción;

� Desarrollar el diagrama general del sistema.

Prometheus

Diseño detallado

� Definirlos detalles internos de cada agente y especificar cómo

los agentes realizarán sus tareas.
� Cada agente es refinado en términos de sus:
... Capacidades,
... Eventos internos,
... Planes y
... estructuras de datos.
� Un diagrama general de capacidad captura la estructura de los
planes para la capacidad y los eventos asociados con estos
planes.
� El comportamiento dinámico se describe mediante los
diagramas de procesos basados en los protocolos de
interacción.
Prometheus

PDT
Prometheus

Verificación de consistencia

� Entidades existentes. Si una referencia a una entidad es creada

entonces la entidad también es generada si no existe, y cuando
una entidad es borrada todas sus referencias son eliminadas.
� Nombres. No es posible asignar el mismo nombre a dos
entidades.
� Errores simples. Solamente son permitidas conexiones válidas
entre entidades.
� Inconsistencia entre los niveles de detalle. por ejemplo, si un
agente se especifica para que solo lea un conjunto de
creencias, entonces no puede contener un plan que escriba en
ese conjunto de creencias.
Prometheus

Diccionario de entidades
Prometheus

Limpiadores en marte
Prometheus

Diagrama general
Prometheus

Bibliografı́a

L. Padgham, J. Thangarajah and M. Winikoff.

Tool support for agent development using the prometheus methodology.
In Fifth International Conference on Quality Software (QSIC 2005), pages
383-388. IEEE Computer Society, 2005.