Reviewing On the formalization of the agent-oriented methodologies: Tropos and Prometheus

Agent oriented methodologies have recently become more and more popular as general way in software engineering. So there is a need to generate more speed and accuracy of our software. Debugging the software product must also be considered, so try to be that formal methodologies. In this paper, we´re not saying a new approach. We are trying to wrap about the formal of agent-oriented methodologies and explain the process of produce a formal agent oriented methodology. So at first introduced agent oriented methodology (Tropos, Promethues). Then explain approach for formalization. Finally explain agent oriented language and their tools. We hope this article is guidance for researchers in this field.