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

  • Zeineb Graja
  • Amira Regayeg
  • Ahmed Hadj Kacem
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6788)


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


MDA AML language formal methods refinement verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Luck, M., d’Inverno, M.: A conceptual framework for agent definition and development. The Computer Journal 44(1), 1–20 (2001)CrossRefzbMATHGoogle Scholar
  2. 2.
    Weyns, D., Haesevoets, R., Helleboogh, A.: The MACODO organization model for context-driven dynamic agent organizations. ACM Transaction on Autonomous and Adaptive Systems (2010),
  3. 3.
    Brasier, M.T., Jonker, M., Treur, J.: Principals of compositional multi-agent system development. In: Proceedings of the 15th IFIP World Computer Congress, WCC 1998, Conference on Information Technology and Knowledge Systems, IT&KNOWS 1998, Vienna and Budapest, pp. 347–360 (1998)Google Scholar
  4. 4.
    Pavon, J., Gomez-Sanz, J.J., Fuentes, R.: The INGENIAS Methodology and Tools. In: Agent-Oriented Methodologies, pp. 236–276. Idea Group Publishing, USA (2005)CrossRefGoogle Scholar
  5. 5.
    Jarraya, T., Guessoum, Z.: Towards a Model Driven Process for Multi-Agent System. In: Burkhard, H.-D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.) CEEMAS 2007. LNCS (LNAI), vol. 4696, pp. 256–265. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Perini, A., Susi, A.: Automating model transformations in agent-oriented modelling. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 167–178. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Rougemaille, S., Migeon, F., Maurel, C., Gleizes, M.P.: Model Driven Engineering for Designing Adaptive Multi-Agent Systems. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 318–332. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Cervenka, R., Trencansky, I.: Agent Modeling Language: Language Specification. Version 0.9. Technical Report, Whitestein Technologies (2004)Google Scholar
  9. 9.
    Trencansky, I., Cervenka, R.: Agent Modeling Language (AML): A Comprehensive Approach to Modeling MAS. Informatica 29(4), 391–400 (2005)Google Scholar
  10. 10.
    Regayeg, A., Hadj-Kacem, A., Jmaiel, M.: Specification and Verification of Multi-Agent Applications using Temporal Z. In: 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), September 20-24, 2004, pp. 260–266. IEEE Computer Society, Beijing (2004)CrossRefGoogle Scholar
  11. 11.
    Meisels, I., Saaltink, M.: The Z/EVES 2.0 Reference Manual. Technical Report TR–99–5493–03e, ORA, Canada (1999)Google Scholar
  12. 12.
    Hadj-Kacem, A., Regayeg, A., Jmaiel, M.: ForMAAD: A Formal Method for Agent-Based Application Design. Journal of Web Intelligence and Agent Systems 5(4), 216–334 (2007)zbMATHGoogle Scholar
  13. 13.
    Regayeg, A.: Approche Formelle de Développement de Systèmes Multi-Agents: de la Spécification à la Conception. PhD thesis (2009)Google Scholar
  14. 14.
    Regayeg, A., Kallel, S., Hadj-Kacem, A., Jmaiel, M.: ForMAAD Method: An Experimental Design for Air Traffic Control. International Transactions on Systems Science and Applications 1(4), 327–334 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Zeineb Graja
    • 1
  • Amira Regayeg
    • 1
  • Ahmed Hadj Kacem
    • 1
  1. 1.ReDCAD Laboratory, Faculty of Economics and ManagementUniversity of SfaxTunisia

Personalised recommendations