Abstract
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
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Luck, M., d’Inverno, M.: A conceptual framework for agent definition and development. The Computer Journal 44(1), 1–20 (2001)
Weyns, D., Haesevoets, R., Helleboogh, A.: The MACODO organization model for context-driven dynamic agent organizations. ACM Transaction on Autonomous and Adaptive Systems (2010), http://www.cs.kuleuven.be/~danny/papers/2010TAAS-model.pdf
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)
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)
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)
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)
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)
Cervenka, R., Trencansky, I.: Agent Modeling Language: Language Specification. Version 0.9. Technical Report, Whitestein Technologies (2004)
Trencansky, I., Cervenka, R.: Agent Modeling Language (AML): A Comprehensive Approach to Modeling MAS. Informatica 29(4), 391–400 (2005)
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)
Meisels, I., Saaltink, M.: The Z/EVES 2.0 Reference Manual. Technical Report TR–99–5493–03e, ORA, Canada (1999)
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)
Regayeg, A.: Approche Formelle de Développement de Systèmes Multi-Agents: de la Spécification à la Conception. PhD thesis (2009)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Graja, Z., Regayeg, A., Kacem, A.H. (2011). \(\mathcal{F}_{or}\mathcal{MAAD}\): Towards a Model Driven Approach for Agent Based Application Design. In: Weyns, D., Gleizes, MP. (eds) Agent-Oriented Software Engineering XI. AOSE 2010. Lecture Notes in Computer Science, vol 6788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22636-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-22636-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22635-9
Online ISBN: 978-3-642-22636-6
eBook Packages: Computer ScienceComputer Science (R0)