Towards the Formal Specification and Verification of Multi-agent Based Systems
Ammar Boucherit, Khebaba Abdallah · 2011
This article is directed primarily at the problem of developing a more reliable multi-agent based systems, because the paradigm of multi-agent systems, which offers an original way of modeling, is considered as an appropriate method that faces the problem of modeling, and it is present in the most of sectors: telecommunications, finance, Internet, energy, health, embedded systems... etc. Therefore, it is crucial to have rigorous, automatic and effective design and checking methods to ensure their development. The main objective of this paper is to present and discuss a new approach for the formal specification and verification of agent based modeling system. In addition, our approach is based on rewriting logic, includes a well-known and effective verification technique, model checking, and allows independent of the used formalism to verify a large set of interesting properties deemed relevant on multi-agent based system.