Automated verification of AUML based multi-agent system design

Industrial demands for agent-based software engineering have significantly increased in the past years. To detect and address the unexpected failures in early design stage of multi-agent systems, several methodologies have been proposed. Agent UML (AUML) is a methodology for agent-based software development that is an extension of the widely accepted UML. AUML handles the interactions among agents by extending UML in dealing with agent-based challenges. In this paper, Agent UML is employed for designing multi-agent systems. A set of conversion rules is proposed to convert Agent UML methodology into UML sequence diagrams that can be used for behavior model synthesis. Then, an automated tool is developed for multiagent system verification that can replace the existing adhoc methods. To validate the proposed methods, a case study of a Real-Time Fleet Management System is used.