a mda approach for agent-oriented development using faml

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



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].





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]





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.





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].




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.





The proposed MDA approach overview.





The FAML Meta-model





The Target Meta-model




Domestic RobotThe Owner Agent

The domestic robot system contains three agents: the robot,the owner and the supermarket [Bordini et al., 2007].





The FAML Instance of the System





QVT Implementation and Mappings

The QVT transformations were implemented using the M2Mframework for Eclipse platform.





Model To Text/Acceleo [Obeo, 2012]




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.




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/.




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.




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.
