Analisis y Diseño Sistemas Multiagente PDF

Anlisis y Diseo de Sistemas
Multi-Agente
Curso de doctorado 2001-02:
Agentes Software
Jorge Gmez Sanz

Juan Pavn Mestras
Dep. Sistemas Informticos y Programacin
Universidad Complutense Madrid
Introduccin
n
Hemos visto
n
n
n
n
n
Qu son los agentes

Varios tipos de arquitecturas de agentes
Mecanismos de seguridad en agentes
Estndares de agentes
Aplicaciones de agentes
Pero,
cmo se construye un sistema multiagente?
Juan Pavn Mestras , UCM 2001-02
Anlisis y Diseo de MAS
(2)
Tendencias
n
En general, los sistemas de agentes aplican una

mezcla de tcnicas
n
Orientacin a objetos:
estructura del sistema
asignacin de responsabilidades
Sistemas expertos
definicin del comportamiento
representacin de conocimiento
Inteligencia artificial distribuida

organizacin
comunicacin de conocimiento
coordinacin
(3)
Tendencias
n
Las metodologas de ingeniera de agentes

n
Intentan aplicar mtodos de IS convencionales a

sistemas de agentes, extendindolos
Agent UML (AUML) [Odell et. al 99]: extiende UML con
protocolos de interaccin de agentes
MESSAGE Methodology for Engineering Systems of
Software Agents [Message]
o intentan desarrollarse a partir de alguna metodologa

de IA o KBS
MAS-CommonKADS [Iglesias et al. 97]: define modelos de
anlisis y diseo de MAS extendiendo la metodologa
CommonKADS (para diseo de sistemas expertos)
KAOS [Bertrand et al. 98]: Anlisis de requisitos basado
en una estrategia orientada a objetivos
(4)
Sistemas basados en agentes

n
Consideraremos agentes
n
n
n
n
n
Con capacidad de procesar conocimiento

Que persiguen el cumplimiento de unos objetivos
Capaces de percibir eventos del entorno
Las interacciones entre los agentes se describen como
acciones comunicativas
Capaces de influir en el entorno mediante acciones
directas
No vamos a tratar aqu aspectos tales como

n
n
n
Movilidad
Seguridad
Fiabilidad
aunque son altamente relevantes, especialmente en la
implantacin
y estn bastante ligados a la plataforma
(5)
Sistemas basados en agentes

n
Cundo utilizar agentes

n
Situaciones con tipos de comunicaciones complejos y

diversos
Sistemas en los que no es prctico o posible especificar
el comportamiento caso por caso
El comportamiento de los agentes est guiado por sus
objetivos, y no se especifica como entrada produce salida
n
n
Sistemas de negociacin, cooperacin y competencia

entre distintas entidades
Sistemas autnomos
Los sistemas de agentes son muy modulares
Distribucin
Extensibilidad
Flexibilidad
(6)
Aspectos del SMA

n
Modelo de agente
n
n
Modelo de objetivos y tareas

n
n
n
Qu interacciones existen entre agentes/roles
Modelo de organizacin
n
Identificacin de objetivos generales y descomposicin en

objetivos ms concretos que se pueden asignar a agentes
Similarmente con tareas
Objetivos: motivacin Tareas: actividad
Modelo de interaccin
n
Los agentes realizan tareas o persiguen objetivos

Responsabilidades, control y estado mental del agente
Estructura del SMA, roles, relaciones de poder, workflows
Modelo de entorno
n
Entidades y relaciones con el entorno del SMA
(7)
Modelo de agente
n
Descripcin de agentes particulares

n
Funcionalidad del agente: Responsabilidades

Qu tareas sabe ejecutar
Qu objetivos se compromete a alcanzar
Agente
n
<<plays>>
Role
Comportamiento: Control del agente

Estado mental
Agregacin de entidades mentales: objetivos, creencias,
compromisos, hechos
Gestin de estado mental
Creacin, destruccin, modificacin de las entidades del
estado mental
Mecanismo de decisin: procesador de estado mental
Reglas, planificacin, etc.
(8)
Meta-modelo de agente
<<Object >>
Agente
<<Object >>
Entidad Autnoma
<<Relationship >>
ATieneGestorEM
<<Relationship >>
WFJuega
<<Property>>
Identidad
<<Role>>
WFResponsableO
<<Relationship >>
GTPersigue
<<Object >>
GestorEstadoMental
<<bind>>
<<Relationship >>
ATieneEM
<<Object >>
Rol
<<Object >>
Objetivo
<<Object >>
EstadoMental
<<Relationship >>
WFResponsable
<<Relationship >>
ATieneProcesadorEM
<<Object >>
Tarea
<<Object >>
EntidadMental
<<Relationship >>
GTAfecta
<<Object >>
ProcesadorEstadoMental
(9)
Control del agente

Agente
Quieren satisfacer
Objetivo
Rol
puede satisfacerse ejecutando
Tarea
Satisface
Evidencia
Produce
Interaccin
Satisface
Tarea
Rol
Quieren satisfacer
Agente
Objetivo
puede satisfacerse ejecutando
( 10 )
Modelo de objetivos y tareas

n
Objetivo: Situacin deseada

n
n
n
Conjunto de estados que el agente quiere lograr,

mantener, o evitar
Una funcin de utilidad que maximizar
Responde a por qu?
Tarea: Transiciones de estado

n
n
Conduce a la consecucin de objetivos

Responde a cmo?
Objetivo
<<activa>>
Tarea
( 11 )
Ciclo de vida de un Objetivo
Pendiente
refinamiento
Refinado
comienza ejecucin de tarea
Resolvindose
Evidencia de xito
Satisfecho
Evidencia de fallo
Fallo
( 12 )
Meta-modelo de objetivos y tareas:

Descomposicin de tareas y objetivos
1
<<Relationship>>
WFDescompone
<<Object>>
Tarea
2..n
<<Relationship>>
GTDescompone
<<Object>>
Objetivo
<<Relationship>>
GTDepende
1
1..n
2..n
<<Relationship>>
GTDepende
<<Relationship>>
GTDependeY
<<Relationship>>
GTDependeO
( 13 )

Relacin entre tareas y objetivos
<<Object>>
Entidad Mental
<<Relationship>>
GTAfecta
+RGTAfectaD
<<Relationship>>
GTAfecta
<<Object>>
Entidad Mental Control
<<Relationshi...
GTModifica
<<Relationship>>
GTDestruye
<<Relationship>>
GTCrea
<<Object>>
Tarea
<<Object>>
Objetivo
<<Relationship>>
GTAfectaObjetivo
<<Propert...
Evidencias
<<Object>>
Patron Estado Mental
<<Relationshi...
WFPersigue
<<Relationshi...
GTPersigue
<<Relationship>>
GTSatisface
<<Role>>
RGTAfectaObjetivoD
<<Relationship>>
GTFalla
<<Role>>
RWFPersigueO
<<Object>>
Entidad Autonoma
<<Objec...
Agente
<<Objec...
Agente
<<Objec...
Rol
<<Object>>
Objetivo
<<Object>>
Organizacion
( 14 )

Descripcin de tareas
<<Role>>
RWFConsumeD
<<Object>>
Aplicacion
<<Object>>
Recurso
<<Object>>
Entidad Mental
<<Role>>
RWFUsaD
<<Relationshi...
WFConsume
<<Relationshi...
WFUsa
<<Object>>
Tarea
<<Relationship>>
EAfectaAgente
<<Role>>
REAfectaEntidadAgenteD
<<Object>>
Rol
<<Objec...
Agente
<<Relationshi...
WFProduce
<<Role>>
RWFProduceD
<<Object>>
Entidad Mental
<<Object>>
Interaccion
<<Object>>
Recurso
( 15 )
n
Intercambio de conocimiento o peticiones

(intencionalidad) entre agentes
Define las interacciones entre los agentes o
entre agentes y humanos
n
Se
de
Se
de
definen a alto nivel, en diseo se detalla el protocolo

interaccin
puede usar el concepto de protocolo de interaccin
Agent UML o los protocolos de Gaia
( 16 )
Aspectos de modelado de interacciones

Toman ejecucion y
contexto y lo
representa
utilizando notacin
concreta
Notacion
(from Meta-modelo de interaccion)
+ Notacion AUML
+ Notacion GRASIA
+ Notacion UML
Naturaleza
+ Competicion
+ Cooperacion
+ Coordinacion
+ Negociacion
+ Planificacion
+ Planificacion centralizada
+ Planificacion distribuida
Se realiza dentro del

paradigma indicado en
este paquete
Ejecucion
+ Bifurca
+ Precede
+ UIColabora
+ UIInicia
<<Object>>
Interaccion
Contexto
+ Estado Mental Ejecucion
+ IColabora
+ IInicia
+ IPersigue
+ Patron Estado Mental
+ Patron Estado Mental AOP
+ Patron Estado Mental GRASIA
+ Patron Estado Mental No Simbolico
Ordena las unidades

de interaccin
determina las
condiciones en que se
desarrolla la interaccion
( 17 )
Meta-modelo de interaccin
<<Property>>
Naturaleza
<<Graph>>
Especificacion
1..n
<<Object>>
Interaccion
<<Relationship>>
IPersigue
<<Object>>
Objetivo
<<Relationship>>
IColabora
<<Relationship>>
IInicia
<<Role>>
RIColaboraD
<<Role>>
RIIniciaD
<<Object>>
Agente
<<Object>>
Rol
<<Relationship>>
WFPersigue
<<Relationship>>
GTPersigue
( 18 )
<<Interaction>>
StartingCustomerService
<<Role>>
CustomerAccessR
Customer
StartingCustormerServiceI
motivator
InitCustomerServicesG
(from Goal Model)
collaborator
<<Role>>
UserProfileManager
(from Roles)
( 19 )
Modelo de organizacin
n
La organizacin define una estructura donde van a existir

los agentes, recursos, tareas y objetivos
n
Estructura. Descomposicin de la organizacin en:

Grupos
Flujos de trabajo
Interrelacin de tareas en flujos de trabajo
Relaciones entre agentes respecto a las tareas
Recursos disponibles y asignacin
Relaciones sociales
Relaciones de poder (p.ej. subordinacin) y cliente/servidor entre
agentes
Relaciones entre grupos
Relaciones entre organizaciones
Funcionalidad
Propsito
Tareas que debe realizar
( 20 )
10
Meta-modelo de organizacin
Definicin estructural
se define sobre
alcanza propsitos gracias a
Definicin funcional
impone restricciones gracias a
Definicin social
( 21 )
Meta-modelo de organizacin:
Descripcin estructural
<<Object >>
Entidad Autnoma
<<Relationship >>
ODescomponeGrupo
<<Object >>
Organizacin
<<Relationship >>
OContieneOrganizacin
<<Relationship >>
OContieneFlujoTrabajo
<<Object >>
Grupo
<<Object >>
Flujo de trabajo
<<Relationship >>
OContieneGrupo
<<Relationship >>
ODescomponeFlujo
<<Role>>
ROContieneGrupoD
<<Object >>
Aplicacin
<<Object >>
Recurso
<<Object >>
Agente
<<Object >>
Rol
( 22 )
11
Descripcin funcional
<<Object >>
Flujo de trabajo
<<Graph >>
DescripcionFlujoTrabajo
<<Relationship >>
WFEjecuta
<<Relationship >>
WFConecta
<<Relationship >>
WFUsa
<<Relationship >>
WFDescompone
1..n
<<Relationship >>
WFResponsable
<<Object >>
Tarea
<<Relationship >>
WFConsume
<<Relationship >>
WFProduce
( 23 )
Descripcin funcional
Asignacin de tareas
<<Object >>
Tarea
<<Relationship >>
WFResponsable
<<Role>>
WFResponsableO
<<bind>>
<<Object >>
Rol
<<Relationship >>
WFJuega
<<bind>>
<<Object >>
Agente
( 24 )
12
Descripcin social
<<Object >>
Organizacin
<<Relationship >>
AGORelacion
<<Object >>
Agente
<<Relationship >>
AGOSubordinacion
<<Object >>
Rol
<<Object >>
Grupo
<<Relationship >>
AGOIncondicional
<<Relationship >>
AGOCondicional
<<Property>>
ObjetivosSatisfacibles
<<Property>>
CondicionSubordinacion
<<Object >>
Objetivo
Acciones toleradas
Duracin de la subordinacin
Estado mental invariante
<<Relationship >>
AGOClienteServidor
<<Object >>
PatronEstadoMental
( 25 )
Modelo de entorno
n
Define las entidades del entorno del SMA con las

que vaya a interactuar
n
Recursos
Elementos consumibles o no consumibles:
Descriptores de ficheros, hilos de ejecucin, memoria,
dispositivos de E/S, sockets, ancho de banda, etc.
Aplicaciones
Agentes
Uso ms complejo, por medio de alguna interfaz

Satisface el principio de racionalidad
( 26 )
13
Meta-modelo de entorno: Recursos

<<Object>>
Agente
<<Object>>
Grupo
<<Object>>
Recurso
<<Role>>
RERecursoPerteneceD
Recurso
Consumible
<<Relationship>>
ERecursoPertenece
<<Property>>
Estado
<<Property>>
Umbral inferior
<<Object>>
ancho banda
<<Object>>
Recurso
<<Object>>
Dispositivo salida
<<Property>>
Umbral superior
<<Object>>
Recurso no consumible
<<Object>>
sockets
<<Object>>
Descriptores de ficheros
<<Object>>
Unidad almacenamiento
<<Object>>
Memoria
<<Object>>
Dispositivo entrada
<<Object>>
Hilos ejecucion
( 27 )
Meta-modelo de entorno:
Aplicaciones y percepcin
<<Property>>
parametro
0..n
<<Object>>
Aplicacion
1..n
<<Property>>
Operacion
<<Property>>
resultado
<<Object>>
SignaturaOperacion
<<Property>>
nombre_operacion
<<Property>>
Precondicion
<<Property>>
Operacion
<<Object>>
Agente
<<Property>>
Postcondicion
<<Relationship>>
EPercibe
<<Relationship>>
EPercibeNotificacion
<<Object>>
Aplicacion
<<Relationship>>
EPercibeMuestreo
<<Object>>
Aplicacion
<<Object>>
AplicacionEntorno
<<Object>>
AplicacionInterna
( 28 )
14
Ciclo de vida de desarrollo de un MAS

Se puede asemejar al Proceso Unificado de Rational:
iterativo e incremental, y dirigido por riesgos (casos)
PHASES/ Iterations
PROCESS
COMPONENTS
Inception
preliminary Iter.
Elaboration
#1
#2
Construction
#n+1 #n+2 .
Transition
#m+1 #m+2
Requirement
capture
Analysis
Design
Implementation
time
Testing
( 29 )
Anlisis del MAS

n
Propsito: obtener un modelo abstracto que

represente los requisitos del sistema para
n
n
entender mejor el problema

confirmar que se trata del problema a resolver
(validacin)
facilitar el diseo de la solucin
Define qu hace el sistema

n
Requisitos funcionales
Qu servicios proporciona el sistema
Requisitos no funcionales
Parmetros de calidad de servicio
( 30 )
15
Generacin de modelo de agente

Anlisis
Identificar agentes utilizando el
principio de racionalidad
Identificar aspectos de inteligencia y autonoma que

puedan ayudar al agente a realizar sus cometidos
Identificar los objetivos

de cada agente
Identificar tareas
a priori
Asociar tareas para alcanzar los objetivos encontrados

Para cada objetivo del agente existe
una tarea capaz de satisfacerlo?
Identificar nuevas
tareas
Determinar cmo ser el gestor y

el procesador del estado mental
Asociar tareas
a objetivos
Identificar los roles que el agente
desempear y asociarlos al agente
( 31 )
Generacin de modelo de agente
Instancia inicial del meta-modelo completa
Validar el modelo contra

los otros modelos
Corregir el
modelo
Fin Anlisis
( 32 )
16
Generacin del modelo de interaccin

Identificar colaboradores e
iniciadores de las interacciones
Anlisis
Identificar
la naturaleza de
la interaccion
Identificar los objetivos
que se persiguen
Generar una primera especificacin con diagramas de colaboracin UML

Identificar mensajes intercambiados
Identificar emisores
emisoresy receptores
Instancia inicial del meta-modelo completa

Validar
el modelo
contra
Validar
ellos
modelo
los otros modelos
otros contra
modelos
Corregir el
el modelo
Corregir
Fin Anlisis
( 33 )
Generacin del modelo de tareas y

objetivos
Analisis
Diseo
Identificar postcondiciones de tareas

Indicar qu recursos se
restrablecen
Identificar tareas y
objetivos
Asociar tareas a
objetivos
Asociar tareas con entidades mentales indicando

modificacin, destruccin o creacin
Asociar tareas con operaciones

de las aplicaciones
Descomponer tareas
si fuera necesario
Descomponer objetivos
objetivos si fuera necesario
Instancia inicial del meta-modelo

completa
los otros modelos
Identificar precondiciones de las tareas
Establecer dependencias
entre objetivos
Refinar entidades
mentales consumidas
Determinar recursos
a consumir
Corregir el
modelo
Precondiciones y postcondiciones tentativas
Asociar tareas con

interacciones producidas
Asociar tareas con entidades

mentales consumidas
Asociar tareas con entidades

mentales producidas
Generar representaciones computacionales

Actualizar modelo con requisitos
representaciones computacionales
Fin Anlisis
Asociar tareas con

aplicaciones
Instancia del meta-modelo completa
Fin Diseo

los otros modelos
Corregir el
modelo
( 34 )
17
Generacin del modelo de organizacin

Analisis
Diseo
Refinar dependencias entre organizaciones, grupos, roles

y agentes
Generar Definicin Estructural

Identificar
grupos
Relaciones de
subordinacin
Generar miembros
del grupo
Aplicar descomposicin de flujos y

grupos para reducir complejidad
Identificar Flujos
de trabajo
Relaciones
cliente-servidor
Refinamiento de la descripcin funcional

Recursos en las tareas
Recursos
consumidos
Recursos
restituidos
Generar Definicin Funcional

Estudiar ejecutores de tareas
Conectar tareas
Identificar
tareas
Identificar entidades mentales intercambiadas entre las tareas

dentro del flujo de trabajo
Entidades
Entidades
consumidas
producidas
Identificar tareas no
locales
Asociar
responsables
Generar definicin social
Establecer relaciones
a nivel de grupo
Establer relaciones a nivel

de organizacin
Establecer relaciones a
nivel de agente o rol

los otros modelos
Corregir el
modelo
Instancia inicial del meta-modelo

completa
los otros modelos
Fin Diseo
Corregir el
modelo
( 35 )
Generacin del modelo de entorno

Analisis
Diseo
Actividades de diseo para

aplicaciones internas
Identificar aplicaciones
del entorno
Determinar la percepcin de los agentes en

funcin de aplicaciones
internas
Identificar agentes
del entorno
Asociar operaciones sobre las
aplicaciones
Refinar la percepcin de los agentes para extraer el tipo

de percepcin deseada
Identificar recursos
disponibles
Definir agentes utilizando los

meta-modelos
Categorizar los recursos segn
la taxonoma establecida
Definir los atributos propios

de cada recurso
Asociar recursos,
aplicaciones y tareas
Actividades de anlisis de las

aplicaciones internas
Asociar recursos a
agentes y grupos


los otros modelos
Corregir el
modelo

los otros modelos
Corregir el
modelo
Fin Diseo
Fin Diseo
( 36 )
18
Diseo del MAS

n
Propsito: Transformacin de las entidades de

anlisis en entidades computacionales
n
Se asume una plataforma de agentes que establece una

arquitectura y restricciones en las alternativas de
diseo
Por ejemplo, BDI, capas, FIPA, etc.
Define cmo se realizan los requisitos del

sistema
n
n
Definicin de la organizacin de los agentes del sistema

Especificacin de las interfaces de los agentes y
componentes del sistema
Estructura interna de los agentes y su comportamiento
( 37 )
Diseo del agente

n
4 niveles:
n
Control y gestin
Sincronizacin y coordinacin de las actividades de los
otros componentes
Percepcin y comunicacin
Gestin de las sesiones de comunicacin del agente con
Otros agentes
Usuarios
Sistemas propietarios (legacy systems)
Dominio
Recursos y elementos de informacin propios del dominio
de la aplicacin
Recursos
Recursos genricos de la plataforma de agentes
( 38 )
19
Bibliografa
n
[Odell et al. 00] Extending UML for Agents, James Odell, H. Van Dyke Parunak, Bernhard Bauer,
submitted paper, 2000. http://www.jamesodell.com/ExtendingUML.pdf
[UML] OMG Unified Modeling Language Specification Version 1.3, June 1999, Object Management
Group, Inc. http://www.rational.com/uml/resources/documentation/index.jtmpl
[MOF] OMG Meta Object Facility (MOF) Specification: ftp://ftp.omg.org/pub/docs/ad/99-09-04.pdf
[Wooldrige et al. ] The Gaia Methodology for Agent-Oriented Analysis and Design, Wooldridge, M.,
Jennings, N. R., Kinny, D., Kluwer Academic Press
[Shoham] Shoham, Agent Oriented Programming
[Iglesias et al. 97] Analysis and Design of Multiagent Systems using MAS-CommonKADS, Carlos
Iglesias, Mercedes Garrijo, Jose Gonzalez and Juan R. Velasco, Intelligent Agents IV: Agent
Theories, Architectures and Languages, 1997, M. P. Singh, Anand Rao and M. J. Wooldridge, eds.
Lecture Notes in Computer Science 1365
[RUP] The Rational Unified Process: An introduction, Philippe Kruchten, pub. Addison Wesley.
[Bertrand et al. 98] P. Bertrand, R. Darimont, E. Delor, P. Massonet, A. van Lamsweerde

GRAIL/KAOS: an environment for goal driven requirements engineering
Proceedings ICSE'98 - 20th International Conference on Software Engineering, IEEE-ACM, Kyoto,
April 98
[Message] Methodology for Engineering Systems of Software Agents, Deliverable 1, Initial

Methodology, Julio 2000
http://www.eurescom.de/~public-webspace /P900-series/P907/index.htm
( 39 )
20

Analisis y Diseño Sistemas Multiagente PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Analisis y Diseño Sistemas Multiagente PDF

Cargado por

Copyright:

Formatos disponibles

Anlisis y Diseo de Sistemas

Jorge Gmez Sanz

Qu son los agentes

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

En general, los sistemas de agentes aplican una

Inteligencia artificial distribuida

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Las metodologas de ingeniera de agentes

Intentan aplicar mtodos de IS convencionales a

o intentan desarrollarse a partir de alguna metodologa

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Sistemas basados en agentes

Con capacidad de procesar conocimiento

No vamos a tratar aqu aspectos tales como

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Sistemas basados en agentes

Cundo utilizar agentes

Situaciones con tipos de comunicaciones complejos y

Sistemas de negociacin, cooperacin y competencia

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Aspectos del SMA

Modelo de objetivos y tareas

Qu interacciones existen entre agentes/roles

Identificacin de objetivos generales y descomposicin en

Los agentes realizan tareas o persiguen objetivos

Estructura del SMA, roles, relaciones de poder, workflows

Entidades y relaciones con el entorno del SMA

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Descripcin de agentes particulares

Funcionalidad del agente: Responsabilidades

Comportamiento: Control del agente

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Juan Pavn Mestras , UCM 2001-02

Control del agente

puede satisfacerse ejecutando

puede satisfacerse ejecutando

Anlisis y Diseo de MAS

Modelo de objetivos y tareas

Objetivo: Situacin deseada

Conjunto de estados que el agente quiere lograr,

Tarea: Transiciones de estado

Conduce a la consecucin de objetivos

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Ciclo de vida de un Objetivo

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Meta-modelo de objetivos y tareas:

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Meta-modelo de objetivos y tareas:

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS

Meta-modelo de objetivos y tareas:

Juan Pavn Mestras , UCM 2001-02

Anlisis y Diseo de MAS