Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System
This addresses the need for reliable and coordinated information management in universities, but it is incremental as it applies existing multi-agent and formal verification techniques to a specific domain.
The paper tackled the development of a multi-agent University Information Management System by analyzing requirements, designing architecture, and formally verifying correctness properties, resulting in a system based on BDI agent architecture with safety and liveness specified using first-order predicate logic.
This paper presents an approach based on the analysis, design, and formal verification of a multi-agent based university Information Management System (IMS). University IMS accesses information, creates reports and facilitates teachers as well as students. An orchestrator agent manages the coordination between all agents. It also manages the database connectivity for the whole system. The proposed IMS is based on BDI agent architecture, which models the system based on belief, desire, and intentions. The correctness properties of safety and liveness are specified by First-order predicate logic.