期刊名称：International Journal of Computer Science & Information Technology (IJCSIT)
印刷版ISSN：0975-4660
电子版ISSN：0975-3826
出版年度：2014
卷号：6
期号：6
页码：73
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：This paper presents an approach based on the analysis, design, and formal verification of a multi-agentbased university Information Management System (IMS). University IMS accesses information, createsreports and facilitates teachers as well as students. An orchestrator agent manages the coordinationbetween all agents. It also manages the database connectivity for the whole system. The proposed IMS isbased on BDI agent architecture, which models the system based on belief, desire, and intentions. Thecorrectness properties of safety and liveness are specified by First-order predicate logic.
