Integrating a Tropos Modeling Tool with a MDA Methodology for Engineering Multi-agent Systems

• João Victor Guinelli CEFET/RJ
• Carlos Eduardo Pantoja CEFET/RJ
• Ricardo Choren IME

Resumo

This paper presents an integration between a Model-Driven Architecture (MDA) methodology for Multi-Agent System (MAS) development and the TAOM4E, which is a tool for graphical modeling that gives support to the Tropos methodology. Additionally, the MDA methodology uses the FAML, which is a metamodel that includes concepts of several agent-oriented methodologies (including Tropos) into a single model as Platform Independent Model and the JaCaMo metamodel, composed of Jason, Moise+ and CArtAgO, as Platform Specific Model. The methodology is also able to transform FAML concepts to JaCaMo concepts and generate code to the Jason/Moise+ from JaCaMo metamodel. The objective of this is paper is to allow the MAS designer to generate Jason/Moise+ code directly from a Tropos model using the proposed integration. The transformation set between the graphical modeling tool and the FAML metamodel was specified using the Query-View-Transformation language. The paper also presents an example using the integrated solution.

Referências

Beydoun, G., Low, G., Henderson-Sellers, B., Mouratidis, H., Gomezsanz, J. J., Pavon, J. e Gonzalez-Perez, C. (2009) “FAML: a generic metamodel for MAS development.” IEEE Trans. Softw. Eng.

Boissier, O., Bordini, R. H., Hubner, J. F., Ricci, A. e Santi, A. (2011) “Multi-agent oriented programming with jacamo” Science of Computer Programming.

Bordini, R. H., Hubner, J. F. e Wooldridge, W. (2007) “Programming Multi-Agent Systems in AgentSpeak using Jason” Jonh Wiley and Sons, London.

DeLoach, S. A. (2002) “Modeling organizational rules in the multi-agent systems engineering methodology”. In R. Cohen and B. Spencer, editors, Canadian Conference on AI, volume 2338 of Lecture Notes in Computer Science, pages 1–15. Springer, 2002.

Hubner, J. F., Sichman, J. S. A. e 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, London, UK. Springer-Verlag.

Hama, M. T. ; Allgayer R. S. ; Pereira, C. E. ; Bordini, R. H. (2011) “UAVAS: An Agent Oriented Infrastructure for Unmanned Aerial Vehicles Development” In: AutoSoft@CBSoft, 2011, São Paulo. II Workshop sobre Sistemas de Software Autônomos. São Paulo: CBSoft, v. 10. p. 15-21.

Morandini, M., Nguyen, D. C., Perini, A. e Siena, A. Angelo Susi (2008) “Tool-Supported Development with Tropos: The Conference Management System Case Study”. In: Luck, M., Padgham, L. Agent-Oriented Software Engineering VIII. Lecture Notes in Computer Science Volume 4951, 2008, pp 182-196. Springer, Germany (2008).

OMG (2011). Meta object facility (MOF) Query/View/Transfomation specification. Nunes, I., Cirilo, E., Lucena, C. J. P., Sudeikat, J., Hahn, C. e Gomez-Sanz, J. J. “A survey on the implementation of agent oriented specifications”. In: Gleizes, M., Gomez-Sanz, J. J. (eds.). Agent-Oriented Software Engineering X, pp. 169-179. Springer, Germany (2011).

Pantoja, C. E. e Choren, R. (2013) “A MDA Methodology to Support Multi-Agent System Development” In: Proceedings of 5th International Conference on Agents and Artificial Intelligence: volume 1, ICAART'13, Barcelona.

Sun, H., Thangarajah, J. e 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, Richland, SC.