Upload
kadu-pantoja
View
516
Download
2
Embed Size (px)
DESCRIPTION
Paper presentation at the 14th ICEIS - International Conference on Enterprise Information Systems, in Wroclaw, 2012.
Citation preview
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
A MDA Approach For Agent-orientedDevelopment Using FAML
Carlos Eduardo PantojaRicardo Choren Noya
Military Institute of Technology
29th June, 2012
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 1 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
IntroductionMAS Modeling LanguagesFAMLJason
Multi-agent System Development
Software agents are cognitive and autonomous components,situated in an environment, which are capable of flexible andautonomous actions in this environment in order to achievetheir projects goals [Wooldridge, 2000].
The multi-agent systems (MAS) approach allows complexsystems modelling [Bellifemine et al., 2007].
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 2 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
IntroductionMAS Modeling LanguagesFAMLJason
Modeling Languages and Tools
There are several agent-oriented modeling techniques thatgenerates code.
Prometheus - Jack [Sun et al., 2010].
Ingenias - Jade [Gomez-Sanz et al., 2008].
PASSI - Jade [Cossentino and Potts, 2002]
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 3 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
IntroductionMAS Modeling LanguagesFAMLJason
FAME Agent-oriented Modeling Language
FAML
FAML is a meta-model that unifies different agent-orientedmodelling languages inside the same software engineeringdomain for MAS development. This generic meta-model wasvalidated to guarantee the concepts promoted by the extantagent-oriented methodologies [Beydoun et al., 2009].Internal Scope, composed by the Agent and its definitions.External Scope, composed by the System and theEnvironment.
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 4 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
IntroductionMAS Modeling LanguagesFAMLJason
Jason Programming Language
Jason is a programming language for MAS development. In Jasonan agent can be programmed based on beliefs, goals, plans andactions [Bordini et al., 2007].
Moise+ is an organizational model that can be integrated toJason to support the specification of an agent organization[Hubner et al., 2002].
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 5 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
The MDA Approach For MAS DevelopmentOverviewMeta-modelsThe Proposed Transformation Set
The approach intends to be modeling language independentthus it begins its model transformation from FAML concepts.
Any agent modeling language that adheres to FAML can beused.
The approach provides a set of transformations to mapinstances of FAML concepts to the target model based onJason constructions, in order to generate MAS code.
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 6 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
The MDA Approach For MAS DevelopmentOverviewMeta-modelsThe Proposed Transformation Set
The proposed MDA approach overview.
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 7 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
The MDA Approach For MAS DevelopmentOverviewMeta-modelsThe Proposed Transformation Set
The FAML Meta-model
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 8 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
The MDA Approach For MAS DevelopmentOverviewMeta-modelsThe Proposed Transformation Set
The Target Meta-model
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 9 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
The MDA Approach For MAS DevelopmentOverviewMeta-modelsThe Proposed Transformation Set
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 10 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
Domestic RobotThe Owner Agent
The domestic robot system contains three agents: the robot,the owner and the supermarket [Bordini et al., 2007].
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 11 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
Domestic RobotThe Owner Agent
The FAML Instance of the System
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 12 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
Domestic RobotThe Owner Agent
QVT Implementation and Mappings
The QVT transformations were implemented using the M2Mframework for Eclipse platform.
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 13 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
Domestic RobotThe Owner Agent
Model To Text/Acceleo [Obeo, 2012]
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 14 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
References
a modelling environment with graphical tools for instantiatethe FAML meta-model will be developed using GMF.
The FAML can be used to generate code for othersagent-oriented program languages like JACK, JADE andJADEX.
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 15 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
References
Bibliografia I
Bellifemine, F., Caire, G., and Greenwood, D. (2007).
Developing multi-agent systems with JADE.Wiley series in agent technology. John Wiley.
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.
Bezivin, J., Gerard, S., Muller, P. A., and Rioux, L.
MDA components: Challenges and opportunities.
Boissier, O., Bordini, R. H., Hubner, J. F., Ricci, A., and Santi, A. (2012).
JaCaMo project.http://jacamo.sourceforge.net/.
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 (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 16 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
References
Bibliografia II
Gomez-Sanz, J. J., Fuentes, R., Pavon, J., and Garcıa-Magarino, 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 AutonomousAgents 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.
Obeo (2012).
Acceleo: MDA generator - home.http://www.acceleo.org/.
OMG (2008).
MOF model to text transformation language, v 1.0.
OMG (2011).
Meta object facility (MOF) Query/View/Transfomation specification.
Steinberg, D., Budinsky, F., Merks, E., and Paternostro, M. (2008).
Emf: Eclipse Modeling Framework.Pearson Education.
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 17 / 18
IntroductionThe Proposed Approach
A Simple ExampleFuture Works
References
Bibliografia III
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 forAutonomous Agents and Multiagent Systems.
Wooldridge, M. (2000).
Reasoning about rational agents.Intelligent robotics and autonomous agents. MIT Press.
Pantoja e Choren (IME) A MDA Approach For Agent-oriented Development Using FAML 06/2012 18 / 18