ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
Interactive Systems. Design, Specification, and Verification
ForMAAD: towards a model driven approach for agent based application design
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Towards a formal methodology for designing multi-agent applications
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Hi-index | 0.00 |
This paper suggests a formal approach for specifying and verifying multi-agent applications. This approach provides a specification language which integrates temporal logic in the Z notation allowing, in this way, to cover static, behavioural, as well as dynamic aspects of a multi-agent application. Then, we will present the syntax and the semantics of the proposed language, particularly, we provide a temporal model according to the framework of Z. Our approach allows us to rigourously reason about interesting properties of multi-agent systems. Finally, we illustrate our approach by verifying an agent based specification for the pursuit problem. We make use of the Z/EVES tools to analyse and reason about our specifications.