Towards the Formal Specification and Verification of Multi-agent Based Systems
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.
Keywords: Specification, Verification, Rewriting Logic, Agent- Based Modeling, Model-Checking
Download Full-Text
