基于多智能体的大学信息管理系统的需求分析、架构设计与形式化验证
软件工程
2015-01-07 v1
摘要
本文提出了一种基于多智能体大学信息管理系统（IMS）的分析、设计与形式化验证的方法。大学IMS访问信息、生成报告，并为教师和学生提供便利。一个编排智能体管理所有智能体之间的协调，同时还管理系统整体的数据库连接。所提出的IMS基于BDI智能体架构，该架构根据信念、愿望和意图对系统建模。安全性和活跃性等正确性属性由一阶谓词逻辑规定。
引用
@article{arxiv.1501.01273,
title = {Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System},
author = {Nadeem Akhtar and Aisha Shafique Ghori and Nadeem Salamat},
journal= {arXiv preprint arXiv:1501.01273},
year = {2015}
}
备注
9 pages, journal paper in International Journal of Computer Science & Information Technology (IJCSIT), December 2014