Constraint specification in Multi Agent System

Multi-Agent System (MAS) consists of innumerable independent and active units, called agents, which collaborate with each other to attain pre-determined goals or delegated objectives. Agents being uncoupled, scattered, event-driven and self-motivating in nature any MAS is distributed and large scale. Hence the analysis of MAS are intricate and crucial. This work proposes formal analysis method for defining and specifying properties, resources, knowledge and related constraints of an agent in a MAS. Agents need to reason about the interactions through constraints. These constraints needs to be satisfied for invoking an event. Definite templates to exemplify these aspects of MAS are generated for proper analysis. To justify the expressivity of the proposed methodology an illustration have been considered. The proposed approach has been mapped graphically to an extended version of Multi-Agent System Architecture Graph (Ex-MASAG). Lastly, a software tool named draw FAM has been proposed to design the proposed Ex-MASAG.