Portal de Periódicos da CAPES

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

2011; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-22636-6_9

1611-3349

Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem,

Service-Oriented Architecture and Web Services

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