Specification and Verification of Multi-Agent Applications using Temporal Z
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
Towards a Model Driven Process for Multi-Agent System
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Model Driven Engineering for Designing Adaptive Multi-Agents Systems
Engineering Societies in the Agents World VIII
The MACODO organization model for context-driven dynamic agent organizations
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Automating model transformations in agent-oriented modelling
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
| Hi-index | 0.00 |
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 For 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, Temporal 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.