Integrating a Tropos Modeling Tool with a MDA Methodology for Engineering

Multi-agent SystemsJoão Victor Guinelli

Carlos Eduardo PantojaRicardo Choren

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

Summary

1. Introduction2. Problem3. Objective4. The MDA Methodology5. The TAOM4E Integration to FAML Metamodel6. An Example7. Related Work8. Conclusion9. References

Introduction

► Engineering Multi-Agent Systems (MAS) is an effort to construct intelligent systems in distributed environment, capable of reasoning and communicating with other systems or intelligent agents.

► In last decade, several methodologies and approaches to design and develop MAS were presented in order to support the MAS engineering.

► The Model-Driven Architecture (MDA) took an important role trying to fill the gap between several methodologies and modeling languages for MAS [Nunes et al., 2011].

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

Introduction

► The MDA provides a software construction divided in different and independent abstraction levels that are supported by metamodels.

► Applying metamodels in MDD allows a point of connection between the developed solution and existent solutions, since it is provided standardized specifications for metamodels such as QVT [OMG, 2011]

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

Platform Specific

Metamodel

PIM PSM

Platform Independent Metamodel

Transformation Specification

CIM

Problem

► There are several methodologies for engineering a MAS that are supported by MDD tools such as:

► Tool for Agent Oriented Modeling for Eclipse platform (TAOM4E) [Morandini, 2008] for Tropos;

► and Prometheus Design Tool (PDT) [Sun et al., 2010] for Prometheus.

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

Problem

► There is a MDA approach for MAS development [Pantoja; Choren, 2013] which uses a generic metamodel for MAS specification named FAML [Beydoun et al., 2009].

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

Objective

► The objective of this paper is to integrate the MDA Tool TAOM4E with the MDA methodology [Pantoja; Choren, 2013] to provide a fully automatic code generation environment for Jason/Moise+ frameworks

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

The MDA Methodology

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

The M2M Transformation (t0)

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

Actor2MentalState

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

Conference Management System Example

[Morandini et al., 2008]

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

From MAS Specification to Platform Independent

Design (t0)

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

From Platform Independent Design to Platform Specific

Design (t1)

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

From Platform Specific Design to Platform Specific

MAS Code (t2)

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

Demonstration

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

Conclusion

► This paper presented an integration between a MDD tool for modeling MAS using the Tropos methodology and a MDA methodology for engineering MAS which uses a generic metamodel for several extant methodologies.

► For future works:► extend the code generation to CArtAgO; ► and integrate the MDA methodology to the PDT;► Map concepts of Late Requirements.

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

ReferencesBeydoun, 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.

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

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

ReferencesOMG (2011). Meta object facility (MOF) Query/View/Transformation 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.

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

Thank You!Carlos Eduardo Pantoja:

pantoja@cefet-rj.br

João Victor Guinelli:joao.silva@cefet-rj.br

Ricardo Choren:choren@ime.eb.br

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