Formal specification of multi-agent environment using VDM-SL

Multi Agent System efficiently retrieves, filters, and globally coordinates information from sources that are spatially distributed. The use of VDM (Vienna Development Method) to specify a system is a well known practice in formal methods. We focus on covering uncovered defects that would likely go unnoticed with traditional specification methods. This paper presents an approach for the specification of multi-agent application and formal specification language which is used for specification of multi-agent application in VDM. Formal Specification can describe the problem in a better way as compared to pure English. At the beginning we will look at the case study which involves multi-agents. Our Pursuit Problem allows us to go through the characteristics of multi-agent system which will be specified with the help of VDM. The paper specifies and illustrates the data type with their invariants and function with their pre and post condition in accordance with the case study.