Apresentação da defesa de dissertação de mestrado - IME, 2012.
Link para download: http://comp.ime.eb.br/dissertacoes/2012-Carlos_Pantoja.pdf
Veja mais trabalhos em: fb.com/turingproject
Instagram: @prof.pantoja
Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...
Um Ambiente MDA de Desenvolvimento de Sistemas Multi-agentes
1. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Um ambiente MDA de desenvolvimento de
sistemas multi-agentes
Carlos Eduardo Pantoja
Ricardo Choren Noya (Orientador)
Se¸c˜ao de Engenharia de Sistemas / SE 8
9 de Novembro de 2012
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 1 / 51
2. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Roteiro
1 Introdu¸c˜ao
Introdu¸c˜ao
Descri¸c˜ao do Problema Proposto
2 Conceitos B´asicos
MDA
FAML
JASON/Moise+/JaCaMo
Representa¸c˜ao de Transforma¸c˜oes
3 A Metodologia Proposta
Metodologia
Meta-modelo FAML
Meta-modelo JaCaMo
Transforma¸c˜oes Model-To-Model - QVT
Transforma¸c˜oes Model-To-Text - M2T
4 Exemplos
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
5 Trabalhos Relacionados
6 Conclus˜ao
Trabalhos Futuros
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 2 / 51
3. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Introdu¸c˜ao
Descri¸c˜ao do Problema Proposto
Agentes
Agentes s˜ao componentes autˆonomos e cognitivos, situados
em um ambiente e n˜ao s˜ao receptores passivos de a¸c˜oes de
outras entidades, pois possuem uma biblioteca de planos com
a¸c˜oes em resposta aos est´ımulos percebidos
[Wooldridge, 2000].
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 3 / 51
4. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Introdu¸c˜ao
Descri¸c˜ao do Problema Proposto
Sistemas Multi-Agentes
Os SMA consistem em um grupo de agentes de softwares
interagindo uns com os outros atrav´es de trocas de mensagens
em uma mesma rede de computadores [Wooldridge, 2000].
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 4 / 51
5. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Introdu¸c˜ao
Descri¸c˜ao do Problema Proposto
Estado da Arte
Atualmente existem diversas ferramentas de desenvolvimento
orientado a agentes que geram codifica¸c˜ao autom´atica de uma
linguagem de modelagem ou meta-modelo espec´ıfico direto
para determinada linguagem de programa¸c˜ao a agentes
[Nunes et al., 2011].
Prometheus - JACK [Sun et al., 2010].
Ingenias - JADE [Gomez-Sanz et al., 2008].
PASSI - JACK [Cossentino and Potts, 2002]
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 5 / 51
6. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Introdu¸c˜ao
Descri¸c˜ao do Problema Proposto
Problema e Objetivos do Trabalho
V´ınculo entre a linguagem de modelagem e a linguagem de
programa¸c˜ao.
N˜ao permitem a agrega¸c˜ao de outras metodologias
Atrav´es da utiliza¸c˜ao da tecnologia MDA [Mellor, 2004], criar um
ambiente onde ser´a gerado codifica¸c˜ao semi-autom´atica, utilizando
um cartucho para a linguagem de programa¸c˜ao Jason
[Bordini et al., 2007] e Moise+ [Hubner et al., 2002], baseado no
meta-modelo FAML [Beydoun et al., 2009] e JaCaMo
[Boissier et al., 2011] para desenvolvimento de sistemas
multi-agentes.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 6 / 51
7. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Introdu¸c˜ao
Descri¸c˜ao do Problema Proposto
Vis˜ao Geral.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 7 / 51
8. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
MDA
FAML
JASON/Moise+/JaCaMo
Representa¸c˜ao de Transforma¸c˜oes
MDA (Model-Driven Architecture [OMG, 2003])
CIM (Computation Independent Model)
PIM (Platform Independent Model)
PSM (Platform Specific Model)
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 8 / 51
9. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
MDA
FAML
JASON/Moise+/JaCaMo
Representa¸c˜ao de Transforma¸c˜oes
FAML [Beydoun et al., 2009].
O FAML (FAME Agent-oriented Modeling Language) ´e um
meta-modelo que combina diversos meta-modelos e linguagens
de modelagem orientados a agentes dentro do mesmo dom´ınio
da engenharia de software para desenvolvimento de sistemas
multi-agentes
O n´ıvel interno, composto pelo Agente e pelas defini¸c˜oes do
Agente.
O n´ıvel externo, composto pelo Sistema e pelo Ambiente.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 9 / 51
10. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
MDA
FAML
JASON/Moise+/JaCaMo
Representa¸c˜ao de Transforma¸c˜oes
JASON
Jason ´e um framework baseado em AgentSpeak e Java para
desenvolvimento de SMA[Bordini et al., 2007].
Utiliza a arquitetura BDI
´E gratuito
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 10 / 51
11. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
MDA
FAML
JASON/Moise+/JaCaMo
Representa¸c˜ao de Transforma¸c˜oes
Moise+
O modelo Moise+ ´e um modelo organizacional respons´avel
pela especifica¸c˜ao de organiza¸c˜oes em SMA
Dividido em especifica¸c˜ao estrutural, funcional e deˆontica
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 11 / 51
12. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
MDA
FAML
JASON/Moise+/JaCaMo
Representa¸c˜ao de Transforma¸c˜oes
JaCaMo
´E uma plataforma para desenvolvimento de SMA que utiliza o
Moise+ para dimens˜ao do modelo organizacional do agente,
onde os agentes s˜ao programados em JASON e os artefatos
do ambiente ´e constru´ıdo utilizando o CArtAgO.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 12 / 51
13. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
MDA
FAML
JASON/Moise+/JaCaMo
Representa¸c˜ao de Transforma¸c˜oes
Meta-modelo JaCaMo
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 13 / 51
14. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
MDA
FAML
JASON/Moise+/JaCaMo
Representa¸c˜ao de Transforma¸c˜oes
Representa¸c˜ao de Transforma¸c˜oes
Model-To-Model (QVT) [OMG, 2011]
Linguagem de transforma¸c˜ao entre modelos;
Mant´em a origem, o destino e o tra¸co entre os modelos;
Padronizada pela OMG.
Model-To-Text (M2T) [OMG, 2008]
Linguagem de gera¸c˜ao de artefatos de texto;
Mant´em a rastreabilidade dos conceitos;
Padronizada pela OMG.
OCL [OMG, 2012]
Linguagem para valida¸c˜ao de modelos;
Restri¸c˜ao de modelos para garantir consistˆencia de dados;
Padronizada pela OMG.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 14 / 51
15. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Metodologia
Meta-modelo FAML
Meta-modelo JaCaMo
Transforma¸c˜oes Model-To-Model - QVT
Transforma¸c˜oes Model-To-Text - M2T
Metodologia Proposta [Pantoja and Choren, 2012]
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 15 / 51
16. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Metodologia
Meta-modelo FAML
Meta-modelo JaCaMo
Transforma¸c˜oes Model-To-Model - QVT
Transforma¸c˜oes Model-To-Text - M2T
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 16 / 51
17. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Metodologia
Meta-modelo FAML
Meta-modelo JaCaMo
Transforma¸c˜oes Model-To-Model - QVT
Transforma¸c˜oes Model-To-Text - M2T
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 17 / 51
18. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Metodologia
Meta-modelo FAML
Meta-modelo JaCaMo
Transforma¸c˜oes Model-To-Model - QVT
Transforma¸c˜oes Model-To-Text - M2T
Lista de Transforma¸c˜oes
Pim To Psm
Faml To Geaplam
System To System
SystemGoal To Goal
Role To Role
Organization To Group
Task To Mission
Environment To Environment
Facet To Percept
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 18 / 51
19. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Metodologia
Meta-modelo FAML
Meta-modelo JaCaMo
Transforma¸c˜oes Model-To-Model - QVT
Transforma¸c˜oes Model-To-Text - M2T
Lista de Transforma¸c˜oes
Agent To Agent
MentalState To Belief
MentalState To Goal
Plan To Plan
Action To Action
Action To InternalAction
Action To ExternalAction
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 19 / 51
20. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Metodologia
Meta-modelo FAML
Meta-modelo JaCaMo
Transforma¸c˜oes Model-To-Model - QVT
Transforma¸c˜oes Model-To-Text - M2T
Lista de Templates
Jason To Code
System To Mas2j
Environment To Class
Percept To Attribute
Agent To Asl
Belief To Jason
Goal To Jason
Plan To Jason
Action To Jason
InternalAction To Jason
Organization To Xml
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 20 / 51
21. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Metodologia
Meta-modelo FAML
Meta-modelo JaCaMo
Transforma¸c˜oes Model-To-Model - QVT
Transforma¸c˜oes Model-To-Text - M2T
Lista de Templates
Functional To Xml
Scheme To Xml
SchemePlan To Xm
Mission To Xml
Goal To Xml
Normative To Xml
Norm To Xml
Strucutural To Xml
Role To Xml
Group To Xml
GroupRole To Xml
Link To Xml
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 21 / 51
22. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Ferramentas Utilizadas
Plataforma Eclipse
EMF [Steinberg et al., 2008]
M2M [Foundation, 2012]
Acceleo [Obeo, 2012]
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 22 / 51
23. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Descri¸c˜ao do Sistema
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 23 / 51
24. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Modelagem em Prometheus
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 24 / 51
25. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
DEMONSTRAC¸ ˜AO
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 25 / 51
26. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Descri¸c˜ao do Sistema
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 26 / 51
27. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Especifica¸c˜ao do SMA
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 27 / 51
28. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Modelagem em Prometheus
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 28 / 51
29. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Modelagem em Prometheus
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 29 / 51
30. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Design Independente de Plataforma
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 30 / 51
31. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Instˆancia do Modelo em FAML
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 31 / 51
32. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Transforma¸c˜ao entre o PIM e o PSM
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 32 / 51
33. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Transforma¸c˜oes M2M
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 33 / 51
34. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Instˆancia do Modelo em JaCaMo
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 34 / 51
35. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
Transforma¸c˜ao entre o PSM e o c´odigo
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 35 / 51
36. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
C´odigo em JASON
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 36 / 51
37. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Ferramenta para o Desenvolvimento
Sistema Domestic Robot - Demonstra¸c˜ao
Sistema Gold Miners
C´odigo em JASON
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 37 / 51
38. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Relacionados
INGENIAS Development Kit
Utiliza a metodologia INGENIAS partindo da utiliza¸c˜ao da
UML
Utiliza templates para gerar a codifica¸c˜ao para JADE
N˜ao utiliza um meta-modelo como plataforma
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 38 / 51
39. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Relacionados
Prometheus Development Toolkit
Utiliza a metodologia Prometheus
Utiliza o Java Emitter Templates para gerar codifica¸c˜ao para
JACK
Permite a integra¸c˜ao com outras linguagens de modelagens
Utiliza o meta-modelo PEMM
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 39 / 51
40. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Relacionados
PASSI Toolkit
N˜ao utiliza o MDA
N˜ao utiliza um meta-modelo orientado a agentes
Gera codifica¸c˜ao para JACK
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 40 / 51
41. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Comparativo
Tabela: Compara¸c˜ao entre os trabalhos relacionados
Conceito IDK PDT PASSI Metodologia Proposta
Permite codifica¸c˜oes em outras linguagens N˜AO N˜AO N˜AO SIM
Utiliza¸c˜ao de templates SIM N˜AO N˜AO SIM
Linguagens de Modelagens diferentes N˜AO SIM N˜AO SIM
Ambiente Gr´afico SIM SIM SIM N˜AO
Abordagem MDA N˜AO SIM N˜AO SIM
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 41 / 51
42. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Conclus˜ao
Neste trabalho foi apresentado uma metodologia MDA de
desenvolvimento de SMA que gera codifica¸c˜ao semi-autom´atica
JASON a partir da utiliza¸c˜ao de meta-modelos em diferentes n´ıveis
de abstra¸c˜ao. A Metodologia permite:
evita o atrelamento entre a linguagem de modelagem e a
linguagem de programa¸c˜ao;
permite adi¸c˜ao de novas funcionalidades;
garante a rastreabilidade entre os conceitos de modelagem e
codifica¸c˜ao;
extens˜ao para gera¸c˜ao de c´odigo para o modelo UAVAS.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 42 / 51
43. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Contribui¸c˜oes
Cria¸c˜ao de uma metodologia MDA de desenvolvimento SMA
utilizando:
o FAML como PIM;
o JaCaMo como PSM;
o QVT como linguagem de transforma¸c˜oes entre modelos;
o M2T como linguagem para gera¸c˜ao de c´odigo
JASON/Moise+;
a OCL como linguagem de restri¸c˜ao de modelos.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 43 / 51
44. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Contribui¸c˜oes
Cria¸c˜ao de uma ferramenta para desenvolvimento SMA que
consiste em um conjunto de plug-ins para o Eclipse onde:
o FAML, o JaCaMo e as restri¸c˜oes OCL foram implementados
utilizando o ECORE;
as transforma¸c˜oes QVT foram implementadas utilizando o
M2M;
as transforma¸c˜oes M2T foram implementadas utilizando o
Acceleo;
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 44 / 51
45. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Contribui¸c˜oes
Uma extens˜ao da metodologia proposta para a gera¸c˜ao de c´odigo
semi-autom´atica para o modelo UAVAS onde:
foram realizadas altera¸c˜oes na codifica¸c˜ao das trocas de
mensagens entre os agentes para gerar a a¸c˜ao de mensagem
request, inform, ack e ask;
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 45 / 51
46. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Trabalhos Futuros
Desenvolvimento de um ambiente gr´afico para modelagem de
SMA utilizando uma das linguagens
Integra¸c˜ao do PEMM (Prometheus Ecore Meta-model) ao
ambiente atrav´es de transforma¸c˜oes M2M
Desenvolvimento de outros cartuchos de codifica¸c˜ao
semi-autom´atica para outras linguagens (e.g. JACK, JADE e
JADEX)
Implementar extens˜oes para gera¸c˜ao dos m´etodos de a¸c˜oes
externas nas classes de ambiente
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 46 / 51
47. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Um ambiente MDA de desenvolvimento de
sistemas multi-agentes
Carlos Eduardo Pantoja
Ricardo Choren Noya (Orientador)
Se¸c˜ao de Engenharia de Sistemas / SE 8
9 de Novembro de 2012
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 47 / 51
48. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Bibliografia I
Beydoun, G., Low, G., Henderson-Sellers, B., Mouratidis, H., Gomez-Sanz, J. J., Pavon, J., and
Gonzalez-Perez, C. (2009).
FAML: a generic metamodel for MAS development.
IEEE Trans. Softw. Eng., 35(6):841–863.
Boissier, O., Bordini, R. H., Hubner, J. F., Ricci, A., and Santi, A. (2011).
Multi-agent oriented programming with jacamo.
Science of Computer Programming, (0):–.
Bordini, R. H., Hubner, J. F., and Wooldridge, W. (2007).
Programming Multi-Agent Systems in AgentSpeak using Jason.
Jonh Wiley and Sons, London.
Cossentino, M. and Potts, C. (2002).
A CASE tool supported methodology for the design of multi-agent systems.
Foundation, T. E. (2012).
Eclipse modeling - EMF.
http://www.eclipse.org/modeling/emf/.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 48 / 51
49. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Bibliografia II
Gomez-Sanz, J. J., Fuentes, R., Pav´on, J., and Garc´ıa-Magari˜no, I. (2008).
Ingenias development kit: a visual multi-agent system development environment.
In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems:
demo papers, AAMAS ’08, pages 1675–1676, Richland, SC. International Foundation for Autonomous
Agents and Multiagent Systems.
Hubner, J. F., Sichman, J. S. a., and Boissier, O. (2002).
A model for the structural, functional, and deontic specification of organizations in multiagent systems.
In Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence,
SBIA ’02, page 118–128, London, UK, UK. Springer-Verlag.
Mellor, S. (2004).
Mda Distilled: Principles of Model-Driven Architecture.
Addison-Wesley Object Technology Series. Addison-Wesley.
Nunes, I., Cirilo, E., de Lucena, C., Sudeikat, J., Hahn, C., and Gomez-Sanz, J. (2011).
A survey on the implementation of agent oriented specifications.
In Gleizes, M.-P. and Gomez-Sanz, J., editors, Agent-Oriented Software Engineering X, volume 6038 of
Lecture Notes in Computer Science, page 169–179. Springer Berlin / Heidelberg.
Obeo (2012).
Acceleo: MDA generator - home.
http://www.acceleo.org/.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 49 / 51
50. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Bibliografia III
OMG (2003).
MDA guide version, v 1.0.1.
OMG (2008).
MOF model to text transformation language, v 1.0.
OMG (2011).
Meta object facility (MOF) Query/View/Transfomation specification.
OMG (2012).
OCL object constraint language.
http://www.omg.org/spec/OCL/2.3.1/.
Pantoja, C. E. and Choren, R. (2012).
A mda approach for agent-oriented development using faml.
In ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems,
Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, pages 415–420. SciTePress.
Steinberg, D., Budinsky, F., Merks, E., and Paternostro, M. (2008).
Emf: Eclipse Modeling Framework.
Pearson Education.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 50 / 51
51. Roteiro
Introdu¸c˜ao
Conceitos B´asicos
A Metodologia Proposta
Exemplos
Trabalhos Relacionados
Conclus˜ao
Trabalhos Futuros
Bibliografia IV
Sun, H., Thangarajah, J., and Padgham, L. (2010).
Eclipse-based prometheus design tool.
In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems:
volume 1 - Volume 1, AAMAS ’10, pages 1769–1770, Richland, SC. International Foundation for
Autonomous Agents and Multiagent Systems.
Wooldridge, M. (2000).
Reasoning about rational agents.
Intelligent robotics and autonomous agents. MIT Press.
Pantoja e Choren (SE8) Ambiente de Desenvolvimento MDA para SMA 11/2012 51 / 51