Beruflich Dokumente
Kultur Dokumente
Facultad de Informtica
Tesis Doctoral
ndice de la Defensa
Planteamiento de la Investigacin
Objetivos
Organizacin de la tesis
Modelo de POA UPSAM 2.0
El modelo de agente
El modelo de conocimiento
TDD en SMA
Caso de estudio
Conclusiones finales
Aportaciones y resultados originales
Trabajos derivados y futuros de la tesis
Defensa de la tesis doctoral
Pgina
Planteamiento de la investigacin
Esta tesis doctoral busca cerrar varias brechas en la
definicin de modelos de desarrollo de Sistemas Multi
Agente:
1.
2.
3.
4.
5.
Pgina
Planteamiento de la investigacin
Situacin actual
A pesar de la edad del campo de
investigacin, no existe inters de la
comunidad de la ingeniera del software para
apropiarse del paradigma (como si ocurri por
ejemplo, con el paradigma web o con el
paradigma SOA)
No existe un modelo unificado de diseo de
SMA, cada nueva metodologa introduce un
nuevo modelo de diseo
Defensa de la tesis doctoral
Pgina
Planteamiento de la Investigacin
Situacin actual
Junio 2007
Fechas estimadas de entrega de borradores finales
de los estndares: Mayo 2003 ~ Marzo 2004
Pgina
Planteamiento de la investigacin
Situacin actual: crisis
Obsolescencia de las
desarrollo disponibles
herramientas
de
Pgina
Planteamiento de la investigacin
Situacin actual: crisis
La tecnologa de agentes es vista como
innecesariamente compleja e imprctica
Los lenguajes y metodologas de SMA en la
actualidad an permanecen incompletos
Es muy difcil generar una propuesta
integrada:
105
metodologas
distintas
identificadas desde que el concepto de POA
fue introducido*
* O. Akbari: A survey of agent-oriented software engineering
Defensa de la tesis doctoralparadigm: Towards its industrial acceptance, 2010
Pgina
Objetivos de la tesis
1. Especificar un marco de trabajo desde la Ingeniera del Software que
permita utilizar diagramas UML 2 para modelar cada uno de los
modelos de diseo de la metodologa UPSAM
2. Definir vnculos explcitos a travs del modelado con UML 2 que
permitan cohesionar cada uno de los modelos de la metodologa
UPSAM
3. Definir una estrategia y un proceso de ingeniera de software completo
para lograr brindar la coherencia necesaria al marco de trabajo a lo
largo del desarrollo e implementacin de todos los modelos de diseo
4. Presentar un caso de estudio completo con la aplicacin de todas las
fases y mtodos del marco de trabajo propuesto
Pgina
Organizacin de la tesis
La tesis est dividida en cuatro secciones:
I.
Pgina
Pgina
10
para
Pgina
11
Capa 3:
Agentes
Intencionales
Capa 2:
Agentes
Compositores
Capa 1:
Agentes
Defensa de la tesis doctoral
Reactivos
Pgina
12
Pgina
13
Pgina
14
Pgina
15
Pgina
16
Pgina
17
Pgina
18
Pgina
19
Diagramas de actividad
Vista de Organizacin de
Agentes
Diagrama de despliegue
Diagrama de subsistemas
Diagrama de componentes
Diagramas de clases
Vista de Comunicaciones
Diagrama de secuencia
Diagrama de actividad
Diagrama de mensajes
Vista de Agentes
Diagrama de componentes
Diagrama de subsistemas
Diagrama de clases
Vista de Conocimiento
Diagrama relacional
Diagrama de clases
Listas/Tablas de conceptos
Pgina
20
Modelo de Agente
El bloque de construccin arquitectnico del SMA
son los agentes
Los agentes se pueden representar mediante el
artefacto componente de UML
Permite
agentes
Los
componentes
son
objetos
complejos
compuestos por muchos artefactos internos y sus
relaciones
Los
componentes permiten la definicin de
interfaces externas, que son los puntos de acople
de los componentes con otros componentes o
artefactos externos.
Bsicamente los objetos internos del agente
trabajan en equipo para implementar las interfaces
externas declaradas por el agente.
Defensa de la tesis doctoral
Pgina
21
Modelo de Agente
Se ha definido una taxonoma de agentes basado
en su funcionalidad:
Agentes reactivos (obreros): Se especializan en
realizar tareas especficas en el SMA
Agentes compositores: Realizan composiciones /
orquestaciones de tareas publicadas por los agentes
reactivos para ofrecer tareas ms complejas a los
clientes del SMA
Agentes intencionales: Utilizan motores de inferencia
o tcnicas de IA para realizar tareas de alto nivel en el
SMA. Las tareas de bajo nivel son delegadas a los
agentes de bajo nivel.
Defensa de la tesis doctoral
Pgina
22
Modelo de Agente
Plataforma de Agentes (Agentes modelados como Componentes )
Pgina
23
Modelo de Agente
Blue prints de Agentes
Para validar el modelado de agentes como
componentes, se han generado blue prints de
los agentes ms utilizados:
Agente reactivo
Agente reactivo con varias tareas
Agente BDI
SMA de subsuncin de Brooks
Pgina
24
Modelo de Agente
Blue prints: El agente reactivo
Pgina
25
Modelo de Agente
Blue prints: El agente reactivo con varias tareas
Pgina
26
Modelo de Agente
Blue prints: El agente BDI
Pgina
27
Modelo de Agente
Blue prints: SMA de subsuncin de Brooks
Pgina
28
Modelo de Agente
Ventajas
de
modelar
agentes
componentes de software
como
Pgina
29
Modelo de Agente
Contratos de Agente
El contrato del agente debe incorporar los
roles que el agente personifica en los
protocolos de interaccin y los servicios que
el agente oferta a los artefactos internos
(agentes) o externos (software)
Los contratos de agentes permiten adicionar
mayor independencia al sistema, ya que un
agente puede ser fcilmente reemplazado por
otro agente (u organizacin de agentes)
siempre que stos cumplan con el contrato de
agente
Defensa
de la tesis doctoral
Pgina 30
Modelo de Conocimiento
Pgina
31
Modelo de Conocimiento
Niveles de Inteligencia
Pgina
32
Modelo de Conocimiento
Capas del Modelo de Conocimiento
Pgina
33
Modelo de Conocimiento
Proceso de desarrollo de bases de conocimiento
Pgina
34
Modelo de Conocimiento
Proceso de desarrollo de bases de conocimiento
Pgina
35
Pgina
36
Pgina
37
Pgina
38
Vista de Comunicaciones
El modelo UPSAM 2.0 sigue los protocolos de
interaccin estndar FIPA
En algunas ocasiones, es necesario hacer
ajustes a los protocolos estndar FIPA para
cubrir las necesidades especficas de la
implementacin del SMA
Pgina
39
Vista de Comunicaciones
Estndares de Protocolos de Interaccin FIPA
Identificado
r
Nombre
C00026
SC00027
SC00028
SC00029
SC00030
XC00031
XC00032
SC00033
SC00034
SC00035
SC00036
Pgina
40
Pgina
41
Agentes orgnicos
Pgina
42
Pgina
43
TDD en SMA
Marco de trabajo para TDD
Pgina
44
TDD en SMA
Marco de trabajo para TDD
Pruebas
Pruebas
Pruebas
Pruebas
de
de
de
de
Pgina
45
TDD en SMA
Marco de trabajo para TDD: Conceptos
Trmino
Descripcin
AUT
Agente Mock
Agente Stub
Caso de Pruebas
Suite de Pruebas
Plataforma de
Pruebas
Banco de Pruebas
Pgina
46
TDD en SMA
Herramientas de prueba
ACL Message Matchers
Mock Agent
Tarea de Test
Mock Agent Gateway
Go
Defensa de la tesis doctoral
Pgina
47
TDD en SMA
Herramientas de Prueba: ACL Message Matchers
Los Matchers son una de las herramientas ms poderosas
del framework Junit para validar condiciones complejas
Pgina
48
TDD en SMA
Herramientas de Prueba: Tarea de Prueba
Provee la funcionalidad bsica necesaria para
que un agente control de pruebas pueda
enviar mensajes al AUT y devolver las
respuestas a la suite de pruebas para ser
analizada por los Matchers
Pgina
49
TDD en SMA
Herramientas de Prueba: Agente Mock
Provee la funcionalidad bsica necesaria para crear
agentes Mock que dramatizan/imitan a otros agentes
en la organizacin de agentes y sus interacciones con
el AUT
Pgina
50
TDD en SMA
Herramientas de Prueba: La pasarela del agente
Mock
Provee acceso para crear, eliminar y configurar
organizaciones de agentes Mock durante el transcurso
de las actividades de prueba
Pgina
51
TDD en SMA
Evaluacin del Desempeo: Modelo de Pruebas
Pgina
52
TDD en SMA
Evaluacin del Desempeo: Variables de
Desempeo
Variable
Descripcin
Rendimiento
Tiempo de
respuesta
Concurrencia
Pgina
53
Caso de Estudio
SmonS: Smart Monitoring System
El Sistema Integrado de Transporte Pblico de
Bogot (SITP) est compuesto por gran
cantidad de dispositivos de recaudo de pasajes
Pgina
54
Caso de Estudio
Dispositivos en la red de recaudo
6,700 dispositivos de pago embarcados en
buses
4,000 puntos externos de recarga de tarjeta
Dispositivos en 25 estaciones troncales y 2
portales
Justificacin del monitoreo
Existencia de muchos dispositivos remotos y
mviles
Defensa
Necesidad
de monitorear remotamentePgina
todos
de la tesis doctoral
55
Caso de Estudio
SmonS. Situacin previa
Hojas de monitoreo
Necesidad de que un operador realice el
monitoreo en instantes especficos de tiempo
Pgina
56
Caso de Estudio
Anlisis de
requerimientos
1.
2.
3.
Pgina
57
Caso de Estudio
Caso de Uso del SMA SMonS
Pgina
58
Caso de Estudio
Priorizacin de incrementos
No. Actividad
1 Agente Workbook
2 Agente TransactionStatus
3 Protocolo de comunicaciones entre el agente Proxy y el SMA
4 Agente de Monitoreo de Eventos de Recarga
5 Agente de Gestin de Eventos
6 Sociedad de agentes de monitoreo de eventos y alarmas
7 Agente de Monitoreo de Eventos de Operacin
8 Agente de Monitoreo de Dispositivos Fuera de Lnea
Plazo
Corto
Mediano
Mediano
Mediano
Mediano
Mediano
Mediano
Mediano
Impacto
Bajo
Alto
Alto
Alto
Alto
Medio
Alto
Alto
Pgina
59
Caso de Estudio
Vista de tareas y objetivos
Objetivos del SMA
1. Informar sobre eventos y alarmas
2. Mantener una lista integrada de eventos y alarmas
3. Permitir al usuario filtrar los eventos y alarmas por
categoras
4. Informar sobre dispositivos que no se han conectado
con el Sistema Central en un tiempo mayor al umbral
5. Informar sobre cadas o alzas en el nmero de
transacciones
6. Guardar en almacenamiento persistente la lista de
eventos y alarmas del da luego del cierre de operacin
Pgina
60
Caso de Estudio
Vista de tareas y objetivos
Consulta de eventos
y alarmas
Guardar lista de
eventos y
alarmas
Pgina
61
Caso de Estudio
Vista de agentes
Pgina
62
Caso de Estudio
Vista de agentes
Pgina
63
Caso de Estudio
Vista de agentes
Pgina
64
Caso de Estudio
Vista de agentes
Pgina
65
Caso de Estudio
Vista de agentes
Pgina
66
Caso de Estudio
Vista de comunicaciones
A excepcin del protocolo de subscripcin, todas las
interacciones siguen un modelo peticin / respuesta
El protocol de subscripcin:
Pgina
67
Caso de Estudio
Vista de conocimiento
Se implementaron dos ontologas
Ontologa de libros de clculo
Ontologa de Sistema de Recaudo
Pgina
68
Caso de Estudio
Vista de conocimiento
La ontologa de libros de clculo
Pgina
69
Caso de Estudio
Vista de conocimiento
La ontologa de Sistema de Recaudo (Conceptos)
Pgina
70
Caso de Estudio
Vista de conocimiento
La ontologa de Sistema de Recaudo (Acciones
de Agente)
Pgina
71
Caso de Estudio
Vista de conocimiento
La ontologa de Sistema de Recaudo (Predicados)
Pgina
72
Caso de Estudio
Vista de Organizacin de Agentes
Subsistema de monitoreo de eventos
Pgina
73
Caso de Estudio
Vista de Organizacin de Agentes
Organizacin del SMA
Pgina
74
Caso de Estudio
Interfaz Grfica
Pgina
75
Caso de Estudio
Casos de Prueba
Pgina
76
Caso de Estudio
SMonS (Smart Monitoring System)
Sistema Multi Agente para el monitoreo de
eventos y alarmas del sistema de recaudo de
pasajes en el sistema de transporte pblico de
la ciudad de Bogot
(Team Viewer)
Pgina
77
Conclusiones finales
Los SMA son sistemas robustos y flexibles,
capaces de adaptarse rpidamente a los
cambios en su entorno
A pesar de esto, son percibidos como sistemas
complejos y obscuros como para ser
implementados en entornos de sistemas de
informacin reales
Para desmitificar los SMA, se ha optado por un
enfoque blando de agentes, y evitar el trmino
agente inteligente para utilizar en su lugar el
trmino sistema inteligente
Defensa de la tesis doctoral
Pgina
78
Conclusiones finales
Los conceptos y tcnicas presentadas en esta
tesis doctoral han sido puestos a prueba a lo
largo de diferentes prototipos, pruebas de
concepto y casos de estudio
El modelo de proceso de ingeniera del
software orientada por agentes parte desde el
SWEBOK, e integra mejores prcticas de
TOGAF e ITIL, adems de utilizar UML para
modelar
los
bloques
de
construccin
arquitectnicos del SMA
Pgina
79
Conclusiones finales
El modelo de proceso utiliza un modelo en
capas para clasificar los agentes del sistema,
as el SMA est compuesto por las capas de
agentes reactivos, agentes compositores y
agentes intencionales.
La infraestructura del SMA se adhiere a los
estndares FIPA.
Esto permite desarrollar
agentes independientes de la plataforma y
provee un marco para la reutilizacin, tanto
interna (librera de agentes) como externa
(COTS) de los agentes.
Defensa de la tesis doctoral
Pgina
80
Conclusiones finales
Finalmente, se han definido cinco vistas
arquitectnicas que permiten especificar y
modelar un Sistema Multi Agente:
1.
2.
3.
4.
5.
Vista
Vista
Vista
Vista
Vista
de
de
de
de
de
tareas y objetivos
agentes
comunicaciones
conocimiento
organizacin de agentes
Pgina
81
Aportaciones y resultados
originales
1.
2.
3.
4.
Pgina
83
Pgina
84
Pgina
85
Pgina
86
Agradecimientos
Back
Defensa de la tesis doctoral
Pgina
87