An Agent Based Formal Specification Language Processor

In the software development life cycle, requirements elicitation and specification is the most important phase to be considered to avoid maintenance cost after the software development. Specifications written in natural language are often ambiguous, incorrect, and unreliable. Specifications serve a vital role in any software development and needs to validate for correctness before entering into design and implementation phases. One of the critical areas currently growing is agent systems. The agent domain was used in this paper to analyze the importance of formal specifications. The natural language specifications for agent systems were written as formal specifications for execution. In our approach, a formal specification language for agent systems, the Agent - Descartes specification language was taken into study. The agent specification language which was based on a functional model and is described by defining the input and output data, was used in the development of a language processor. In this paper, the steps and detailed analysis of this specification language processor developed for agent systems is described.