$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design

Current trends in multi-agent systems development show a move towards adopting the Model Driven Architecture (MDA) approach to improve the development process and the quality of the agent-based software. Our work has two main contributions. First, it presents a reformulation of the \(\mathcal{F}_{or}\mathcal{MAAD}\) methodology in terms of the MDA paradigm by using the AML language. Second, it proposes a translation of each model to a formal language, \(\mathcal{T}_{emporal}\mathcal{Z}\) that integrates linear temporal logic to the Z notation, in order to guarantee a formal verification of the models. Furthermore, we make extensions to the StarUML tool to support the proposed models and use the transition rules. Our work is illustrated by developing an agent-based solution for the air traffic control problem

[1]  Brian Henderson-Sellers,et al.  Agent-oriented methodologies , 2005 .

[2]  Danny Weyns,et al.  The MACODO organization model for context-driven dynamic agent organizations , 2010, TAAS.

[3]  Anna Perini,et al.  Automating Model Transformations in Agent-Oriented Modelling , 2005, AOSE.

[4]  Mohamed Jmaiel,et al.  Specification and verification of multi-agent applications using temporal Z , 2004 .

[5]  J. van Leeuwen,et al.  Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.

[6]  Jorge J. Gómez-Sanz,et al.  The INGENIAS Methodology and Tools , 2005 .

[7]  Michael Luck,et al.  A Conceptual Framework for Agent Definition and Development , 2001, Comput. J..

[8]  Gabriela Lindemann,et al.  Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings , 2007, CEEMAS.

[9]  Radovan Cervenka,et al.  Agent Modeling Language (AML): A Comprehensive Approach to Modeling MAS , 2005, Informatica.

[10]  Zahia Guessoum,et al.  Towards a Model Driven Process for Multi-Agent System , 2007, CEEMAS.

[11]  Mohamed Jmaiel,et al.  ForMAAD: A formal method for agent-based application design , 2007, Web Intell. Agent Syst..

[12]  Franco Zambonelli,et al.  Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers , 2006, AOSE.

[13]  Marie-Pierre Gleizes,et al.  Model Driven Engineering for Designing Adaptive Multi-Agents Systems , 2008, ESAW.

[14]  Slim Kallel,et al.  ForMAAD Method: An Experimental Design for Air Traffic Control , 2006, Int. Trans. Syst. Sci. Appl..