Analysis of Multi Agent Systems: A formal approach

Multi Agent System (MAS) is composed of multiple autonomous and dynamic units, called agent, and they interact among themselves to achieve pre-specified goal. To result such interactions, agents collaborate by playing various roles within the system. Analysis of MAS are complex as such system are large scale and challenging as agents are decoupled, distributed, event-driven and dynamic in nature. Systematic and sequential approach of analyzing both structural and dynamic facets of agents in such system can lead towards efficient design of MAS. This paper has proposed a logic based formal analysis methods for MAS and which includes identification, representations and analysis of agent´s structural and dynamic facets. The proposed approach follows a systematic and sequential approach towards analysis of MAS. Moreover, it results several templates to represent the different facets of MAS for rigorous analysis. Several illustration has been described to prove the expressiveness of the proposed analysis method. Finally, mapping mechanism of the proposed approach into MAS architectural design also has been described in this paper.