Sie sind auf Seite 1von 87

Universidad Pontificia de Salamanca

Facultad de Informtica
Tesis Doctoral

Desarrollo de un marco de trabajo a partir


de la metodologa UPSAM para integrar
todos los modelos de Sistemas Multi
Agente utilizando el lenguaje de la
ingeniera del software (UML)

Para la obtencin del ttulo de


Doctor en Ingeniera Informtica
Autor: Juan Pablo Paz Grau
Director: Dr. Andrs Gaspar Castillo Sanz
Anlisis y Diseo WEB

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.

Tratar aspectos prcticos de todas las fases del proceso de


Ingeniera del Software aplicada a SMA.
Desarrollar un proceso de ingeniera de agentes desde la luz
de los principales conjuntos de mejores prcticas y marcos de
trabajo de la ingeniera del software
Reconciliar los modelos de diseo arquitectnico de agentes
con el lenguaje UML, a partir de la conceptuacin de los
agentes como componentes de software
Presentar el modelo de proceso de ingeniera de agentes
como un proceso conducido por pruebas del software, una
orientacin poco estudiada a la luz del desarrollo de SMA
Presentar un modelo de conocimiento capaz de cubrir toda la
taxonoma de agentes

Defensa de la tesis doctoral

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

Las metodologas de desarrollo de SMA


consultadas durante la produccin de la
memoria se separan abiertamente de UML,
el lenguaje de la ingeniera del software

Agent UML, el estndar FIPA que buscaba


realizar este acercamiento con la ingeniera
del software, ha muerto*:
ltima fecha de actualizacin del sitio de AUML: 17

Junio 2007
Fechas estimadas de entrega de borradores finales
de los estndares: Mayo 2003 ~ Marzo 2004

Defensa de la tesis doctoral

* ltima fecha de consulta: 15 Abril 2015

Pgina

Planteamiento de la investigacin
Situacin actual: crisis
Obsolescencia de las
desarrollo disponibles

herramientas

de

Inactividad prolongada de los rganos de


estandarizacin
Desmonte de lneas editoriales en SMA

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

Pgina

Organizacin de la tesis
La tesis est dividida en cuatro secciones:
I.

Introduccin a la Investigacin: Se presentan los lineamientos, los


objetivos y los casos de estudio que dan pie al inicio del desarrollo de
la investigacin

II. Desarrollo de la Investigacin: Contiene el modelo de ingeniera


del software orientado por agentes objeto de esta tesis doctoral
III. Conclusiones: En esta seccin se evalan los objetivos general y
especficos de la tesis doctoral y se hace un recuento de las secciones
de la memoria donde se satisfacen cada uno de los objetivos.
IV. Anexos: Cdigo fuente de las herramientas de desarrollo orientado
por pruebas que se han generado durante el desarrollo del captulo de
pruebas en SMA.

Defensa de la tesis doctoral

Pgina

Modelo Arquitectnico de UPSAM


2.0
El modelo arquitectnico implementado es un
modelo por capas
Las tareas del SMA se dividen en capas
Las capas inferiores de la arquitectura del SMA
realizan las tareas de bajo nivel/complejidad y
dan soporte a las capas superiores
Se facilita la adicin de comportamientos ms
complejos al SMA adicionando capas encima
de las ya existentes
Defensa de la tesis doctoral

Pgina

10

Modelo Arquitectnico de UPSAM


2.0
Inicialmente, se desarrollan agentes
poblar la primera capa del SMA

para

A medida que el SMA crece en complejidad, se


implementan ms agentes en la primera capa,
o se adicionan agentes en la segunda capa
Para SMA ms complejos, se implementan
agentes en la tercera capa

Defensa de la tesis doctoral

Pgina

11

Modelo Arquitectnico de UPSAM


2.0

Capa 3:
Agentes
Intencionales
Capa 2:
Agentes
Compositores
Capa 1:
Agentes
Defensa de la tesis doctoral
Reactivos

Pgina

12

Modelo de POA UPSAM 2.0


Una metodologa de software es un conjunto
de actividades y resultados asociados que
producen un producto de software estas
actividades genricas pueden organizarse
de diferentes formas y describirse en
diferentes niveles de detalle para diferentes
tipos de software. Sin embargo, el uso de un
proceso inadecuado del software puede reducir
la calidad o la utilidad del producto de software
que se va a desarrollar y/o incrementar los
costes de desarrollo
Ian Sommerville
Defensa de la tesis doctoral

Pgina

13

Modelo de POA UPSAM 2.0


Aspectos generales:
El modelo es orientado por casos de uso y
tcnicas de la ingeniera del software
El desarrollo del SMA es iterativo e
incremental, y centrado en las vistas del
modelo (presentadas ms adelante)
El modelado de todas las vistas del SMA se
realizar a partir de los artefactos disponibles
en UML 2.0
Defensa de la tesis doctoral

Pgina

14

Modelo de POA UPSAM 2.0


El modelo de proceso

Requerimientos del SMA


Anlisis de requerimientos
Priorizacin de incrementos

Diseo del SMA


Desarrollo del SMA
Construccin
Pruebas

Mantenimiento del SMA

Defensa de la tesis doctoral

Pgina

15

Modelo de POA UPSAM 2.0


Integracin de mejores prcticas

Defensa de la tesis doctoral

Pgina

16

Modelo de POA UPSAM 2.0


Diseo del SMA
Una metodologa de ingeniera de software
orientada por agentes es un proceso de
negocio de desarrollo de software, equipado
con varios conceptos y herramientas de
modelado, en donde la abstraccin clave
utilizada en sus conceptos es la de agente.

O. Akbari, "A survery of agent-oriented software engineering


paradigm: Towards its industrial acceptance," Journal of
Computer Engineering Research, 2010.
Defensa de la tesis doctoral

Pgina

17

Modelo de POA UPSAM 2.0


Conceptos bsicos arquitectnicos (TOGAF)
Sistema: Es una coleccin de componentes organizados de
manera que el sistema (SMA) cumpla un conjunto de funciones.
Arquitectura: Es la organizacin fundamental del sistema, la
cual est conformada por componentes (Agentes) y las relaciones
entre estos, tanto internas como externas. La arquitectura se
describe a travs de los artefactos arquitectnicos.
Vista: Es la representacin del sistema desde una perspectiva
arquitectnica, para lograr esta perspectiva, la vista estar
compuesta por una serie de artefactos arquitectnicos.
Artefactos arquitectnicos: Son entregables que describen los
distintos aspectos de la arquitectura que se est modelando
(diagramas UML, tablas, listas)
Defensa de la tesis doctoral

Pgina

18

Modelo de POA UPSAM 2.0


Las cinco vistas arquitectnicas del modelo de
diseo

Defensa de la tesis doctoral

Pgina

19

Modelo de POA UPSAM 2.0


Artefactos arquitectnicos disponibles en cada
vista2.0
UPSAM
Artefactos
arquitectnicos
Vista de tareas y objetivos

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

Defensa de la tesis doctoral

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

conceptualmente la reutilizacin de los

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 )

Defensa de la tesis doctoral

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

Estos blue prints permitirn a futuros


desarrolladores extender la arquitectura
bsica para desarrollar agentes
Defensa de la tesis doctoral

Pgina

24

Modelo de Agente
Blue prints: El agente reactivo

Defensa de la tesis doctoral

Pgina

25

Modelo de Agente
Blue prints: El agente reactivo con varias tareas

Defensa de la tesis doctoral

Pgina

26

Modelo de Agente
Blue prints: El agente BDI

Defensa de la tesis doctoral

Pgina

27

Modelo de Agente
Blue prints: SMA de subsuncin de Brooks

Defensa de la tesis doctoral

Pgina

28

Modelo de Agente
Ventajas
de
modelar
agentes
componentes de software

como

Los componentes estn fuertemente orientados a


la reutilizacin
Permite la integracin en el SMA de agentes COTS
Facilita la composicin de tareas de agentes, y el
modelado de estas composiciones en las vistas de
diseo
Permite implementar tcnicas de la ingeniera del
software
para
ejecucin
de
pruebas
y
aseguramiento de la calidad
Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

Pgina

31

Modelo de Conocimiento
Niveles de Inteligencia

Defensa de la tesis doctoral

Pgina

32

Modelo de Conocimiento
Capas del Modelo de Conocimiento

Defensa de la tesis doctoral

Pgina

33

Modelo de Conocimiento
Proceso de desarrollo de bases de conocimiento

Defensa de la tesis doctoral

Pgina

34

Modelo de Conocimiento
Proceso de desarrollo de bases de conocimiento

Defensa de la tesis doctoral

Pgina

35

Vista de Objetivos y Tareas


Relacin entre tareas y objetivos del agente

Defensa de la tesis doctoral

Pgina

36

Vista de Objetivos y Tareas


Objetivos del agente
Implcitos
Se encuentran implcitos en las
tareas y en la codificacin del
agente
Explcitos
Se encuentran explcitos en el
lenguaje de programacin de
agentes utilizado
Defensa de la tesis doctoral

Pgina

37

Vista de Objetivos y Tareas


Taxonoma de Tareas del agente
De una vez
Cclica
Temporizada
Agendada
Compuesta
Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

Pgina

39

Vista de Comunicaciones
Estndares de Protocolos de Interaccin FIPA
Identificado
r

Nombre

C00026

FIPA Request Interaction Protocol Specification

SC00027

FIPA Query Interaction Protocol Specification

SC00028

FIPA Request When Interaction Protocol Specification

SC00029

FIPA Contract Net Interaction Protocol Specification

SC00030

FIPA Iterated Contract Net Interaction Protocol


Specification

XC00031

FIPA English Auction Interaction Protocol


Specification

XC00032

FIPA Dutch Auction Interaction Protocol Specification

SC00033

FIPA Brokering Interaction Protocol Specification

SC00034

FIPA Recruiting Interaction Protocol Specification

SC00035

FIPA Subscribe Interaction Protocol Specification

SC00036

FIPA Propose Interaction Protocol Specification

Defensa de la tesis doctoral

Pgina

40

Vista de Organizacin de Agentes


Presenta las relaciones entre los agentes y
entre el SMA y su entorno
Las organizaciones de agentes en el marco de
trabajo UPSAM 2.0 son cooperativas
Las organizaciones de agentes pueden
organizarse en macro componentes y ser
reutilizables o portables a otros SMA
Se identifican dos tipos de agente en la
organizacin del SMA: Agentes Internos y
Agentes Externos
Defensa de la tesis doctoral

Pgina

41

Vista de Organizacin de Agentes


Agente cliente

Agentes orgnicos

Defensa de la tesis doctoral

Pgina

42

Modelo de POA UPSAM 2.0


Relaciones entre las vistas del modelo

Defensa de la tesis doctoral

Pgina

43

TDD en SMA
Marco de trabajo para TDD

Defensa de la tesis doctoral

Pgina

44

TDD en SMA
Marco de trabajo para TDD
Pruebas
Pruebas
Pruebas
Pruebas

de
de
de
de

componentes internos del agente


agente
sistema
aceptacin

Defensa de la tesis doctoral

Pgina

45

TDD en SMA
Marco de trabajo para TDD: Conceptos
Trmino

Descripcin

AUT

El agente que est siendo objeto de pruebas (Agent Under Test)

Agente Mock

Agente de pruebas cuya nica funcin es recibir mensajes del


AUT y responder a estas interacciones con mensajes preprogramados

Agente Stub

Agente de prueba, ms complejo que un agente Mock. Incluye


lgica de negocio para procesar los mensajes del AUT.

Caso de Pruebas

Es una prueba a un agente (u organizacin de agentes) para


verificar que el agente cumple con un objetivo

Suite de Pruebas

Agrupacin lgica de casos de pruebas

Plataforma de
Pruebas

Una AP que contiene nicamente los agentes que participan de la


suite de pruebas.

Banco de Pruebas

El contexto que se crea antes de ejecutar un caso de


pruebas, con el fin de llevar al AUT a un estado fijo y
conocido. Ej: envo de creencias percibidas a un agente
intencional, creacin de agentes Mock, etc.

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

Pgina

51

TDD en SMA
Evaluacin del Desempeo: Modelo de Pruebas

Defensa de la tesis doctoral

Pgina

52

TDD en SMA
Evaluacin del Desempeo: Variables de
Desempeo
Variable

Descripcin

Rendimiento

Nmero de peticiones servidas por el SMA por unidad de tiempo

Tiempo de
respuesta

Tiempo que le toma al SMA (o a uno de sus componentes) resolver y


contestar una peticin

Concurrencia

Nmero de agentes o de tareas de agentes que se pueden ejecutar


simultneamente sin degradar el rendimiento del SMA

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

Pgina

56

Caso de Estudio
Anlisis de
requerimientos
1.

2.
3.

Panel de control con una IGU que


permita el monitoreo de eventos en
tiempo casi real
Panel de control para monitoreo de
transacciones en tiempo casi real
Generacin automtica de hojas de
monitoreo al cierre de la operacin

Defensa de la tesis doctoral

Pgina

57

Caso de Estudio
Caso de Uso del SMA SMonS

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

Pgina

60

Caso de Estudio
Vista de tareas y objetivos
Consulta de eventos
y alarmas

Guardar lista de
eventos y
alarmas

Defensa de la tesis doctoral

Pgina

61

Caso de Estudio
Vista de agentes

Defensa de la tesis doctoral

Pgina

62

Caso de Estudio
Vista de agentes

Defensa de la tesis doctoral

Pgina

63

Caso de Estudio
Vista de agentes

Defensa de la tesis doctoral

Pgina

64

Caso de Estudio
Vista de agentes

Defensa de la tesis doctoral

Pgina

65

Caso de Estudio
Vista de agentes

Defensa de la tesis doctoral

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:

Defensa de la tesis doctoral

Pgina

67

Caso de Estudio
Vista de conocimiento
Se implementaron dos ontologas
Ontologa de libros de clculo
Ontologa de Sistema de Recaudo

Defensa de la tesis doctoral

Pgina

68

Caso de Estudio
Vista de conocimiento
La ontologa de libros de clculo

Defensa de la tesis doctoral

Pgina

69

Caso de Estudio
Vista de conocimiento
La ontologa de Sistema de Recaudo (Conceptos)

Defensa de la tesis doctoral

Pgina

70

Caso de Estudio
Vista de conocimiento
La ontologa de Sistema de Recaudo (Acciones
de Agente)

Defensa de la tesis doctoral

Pgina

71

Caso de Estudio
Vista de conocimiento
La ontologa de Sistema de Recaudo (Predicados)

Defensa de la tesis doctoral

Pgina

72

Caso de Estudio
Vista de Organizacin de Agentes
Subsistema de monitoreo de eventos

Defensa de la tesis doctoral

Pgina

73

Caso de Estudio
Vista de Organizacin de Agentes
Organizacin del SMA

Defensa de la tesis doctoral

Pgina

74

Caso de Estudio
Interfaz Grfica

Defensa de la tesis doctoral

Pgina

75

Caso de Estudio
Casos de Prueba

Defensa de la tesis doctoral

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)

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

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

Defensa de la tesis doctoral

Pgina

81

Aportaciones y resultados
originales
1.

Se presenta un modelo de ingeniera del software orientado


por agentes completo, desde la conceptuacin del sistema
hasta el mantenimiento del mismo, con conectores y ganchos
que permiten integrarlo con las mejores prcticas en ejercicio
en los departamentos de tecnologa informtica (ITIL, TOGAF,
UML, SWEBOK)

2.

Se ha desarrollado un modelo de desarrollo de SMA orientado


por pruebas, incluyendo las herramientas para la ejecucin
de escenarios de prueba y un modelo conceptual de pruebas.

3.

Se ha desarrollado un proceso para desarrollar bases de


conocimiento en el dominio especfico del modelo de
conocimiento de los SMA

4.

Se ha logrado conceptualizar el agente como un


componentes de software, abriendo la puerta a la utilizacin
de tcnicas y mtodos de la ingeniera del software en la
Defensa de la tesis doctoral
Pgina 82
construccin de Sistemas Multi Agente

Trabajos derivados y futuros


Lneas de investigacin futuras:
Desarrollo de ms casos de estudio utilizando
el modelo de ingeniera del software UPSAM
2.0
El modelo de conocimiento debe desarrollarse
para hacerlo ms robusto.
Desarrollo de herramientas y toolkits que
permitan la integracin del modelo y su
referente conceptual a los EID ms relevantes.
Defensa de la tesis doctoral

Pgina

83

Trabajos derivados y futuros


Artculos, ponencias y comunicaciones en
eventos internacionales:

A Test Driven Development of MAS, EUMAS 2013, Proceedings CEUR


Workshop Proceedings ISSN 1613-0073 vol. 1113. Ing. Esp. Juan Pablo
Paz Grau ,Dr. Andrs Castillo Sanz
An evaluation of integration technologies to expose agent actions as
web services, Practical Applications of Intelligent Systems (pp. 259270). Springer Berlin Heidelberg. Ing. Esp. Juan Pablo Paz Grau, Dr.
Andrs Castillo Sanz, Dr. Rubn Gonzlez Crespo
Constructing an Ontology for a MultiAgent System from a Software
Engineering Perspective: A Case Study, Revista Ingeniera y Tecnologa,
ISSN 2215-8456. Ing. Esp. Juan Pablo Paz Grau, Ing. Esp. Mara Claudia
Bonfante R., Ing. Eugenia Luz Arrieta Rodrguez
Diseo de una Ontologa para Procesos de Negocio utilizando la metodologa
Methontology, I Encuentro Institucional de Docentes Investigadores CURN. Ing.
Esp. Mara Claudia Bonfante R., Ing. Esp. Juan Pablo Paz Grau
Diseo de aplicaciones en entornos mixtos, Revista Ingeniera y Tecnologa, ISSN
2215-8456. Ing. Esp. Juan Pablo Paz Grau

Defensa de la tesis doctoral

Pgina

84

Trabajos derivados y futuros

Diseo e Implementacin de una Ontologa para Procesos de Negocios para


Realizar Consultas a Travs de un Portal Web. VII CIETA (Congreso Internacional
de Electrnica y Tecnologas de Avanzada), ISBN: 978-958-44-2992-6. Ing. Esp.
Mara Claudia Bonfante R., Ing. Esp. Juan Pablo Paz Grau
Diseo e Implementacin de un Sistema Multi-Agente para el control y
asignacin de citas en la oficina de consejera psicolgica, Ing. Esp. Juan Pablo
Paz Grau, Ing. Eugenia Luz Arrieta Rodrguez, Ing. Jos Luis Riascos Iguarn
Plataforma Multiagente para el Mejoramiento de Procesos utilizando Tecnologas
BPM y Ontologas para las PYMES, 4 Congreso Colombiano de Computacin,
ISBN 978-958-8166-43-8. Ing. Esp. Juan Pablo Paz Grau, Ing. Esp. Mara Claudia
Bonfante R., Andrs Castillo Ph.D.
A Prototype for a Multi Agent System for Employee Attendance and Access
Control, a Case Study of Agent Oriented Software Engineering, 4 Congreso
Colombiano de Computacin, ISBN 978-958-8166-43-8. Ing. Esp. Juan Pablo Paz
Grau, Ing. Esp. Mara Claudia Bonfante R., Andrs Castillo Ph.D.
Diseo de un Sistema Multi-Agente para el Mejoramiento de Procesos Utilizando
Tecnologas BPM Y Ontologas, Revista CIEEEncia , ISSN 2027-1964. Ing. Esp.
Juan Pablo Paz Grau, Ing. Esp. Mara Claudia Bonfante R., Andrs Castillo Ph.D.
Modelado de SMA de Control de Tiempo y Asistencia: Caso de Estudio de
Ingeniera de Software aplicada a Sistemas Multi-Agente, Revista CIEEEncia,
ISSN 2027-1964. Ing. Esp. Juan Pablo Paz Grau, Ing. Esp. Mara Claudia Bonfante
R. Andrs Castillo Ph.D.

Defensa de la tesis doctoral

Pgina

85

Trabajos derivados y futuros

Diseo de un Sistema Multi-Agente para el Mejoramiento de Procesos Utilizando


Tecnologas BPM Y Ontologas, II Workshop Rama Estudiantil IEEE Uninorte 2008.
Ing. Esp. Juan Pablo Paz Grau, Ing. Esp. Mara Claudia Bonfante R., Andrs
Castillo Ph.D.
Modelado de SMA de Control de Tiempo y Asistencia: Caso de Estudio de
Ingeniera de Software aplicada a Sistemas Multi-Agente, II Workshop Rama
Estudiantil IEEE Uninorte 2008. Ing. Esp. Juan Pablo Paz Grau, Ing. Esp. Mara
Claudia Bonfante R., Andrs Castillo Ph.D

Proyectos de software libre:

TDD MAS Toolkit (Source Forge)

Defensa de la tesis doctoral

Pgina

86

Agradecimientos

Back
Defensa de la tesis doctoral

Pgina

87

Das könnte Ihnen auch gefallen