2011 | OriginalPaper | Buchkapitel
: Towards a Model Driven Approach for Agent Based Application Design
verfasst von : Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem
Erschienen in: Agent-Oriented Software Engineering XI
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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